"So anyhow I did math and I had actually started writing a dissertation in mathematics – on cylindrical algebras, algebras that extended Boolean algebras to predicate logic with quantifiers"