Ph.D. student in mathematical logic at Carnegie Mellon University.