"The above proposition [1 + 1 = 2] is occasionally useful."