I do research in the philosophy of mathematics