[xdavidliu]

reminds me of a quote from Sipser's Theory of Computation textbook, towards the beginning. He says something like "in mathematics, not even evidence is enough."