See http://en.wikipedia.org/wiki/Cogito_ergo_sum CategoryPhilosophy