Proving

Proofs: 5000 total, 4738 verified, 262 pending