I am a graduate student at the University of Pittsburgh, currently being supervised by Tom Hales, and working on the Formal Abstracts project.