proofs code example Example: proofs An F in the chat for you, proofs may be easy but they take forever.