Mathematics, Inc [1], I assume

[1] http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF