we're reading comments on a post about math proofs