Graduate student at the University of Toronto, working on philosophy of mathematics.