maths-is-just-tautology tumblr