1.11 – Indirect Logic Proofs, Part 2