All mathematics is tautology. - Ludwig Wittgenstein