purplelight comments on Can you prove that 0 = 1?