More proofs is more proofs, so let's prove everything
522