1.10 – Indirect Logic Proofs, Part 1