When is one thing equal to some other thing? (2007) [pdf] (math.harvard.edu)