I can identify proofs by type (direct proof, proof by contradiction, proof by construction)