Proofs are hard, though.:worried: