Read and write direct proofs, contrapositives, contradictions, induction proofs, and counterexamples. The focus is on proving algebraic claims clearly, not just getting numerical answers.