Title: Inspecting mathematics
First published: 2001