A logician and philosopher of mathematics at Oxford University. Webpage: www.acpaseau.com