1.8 – Logic Proofs, Part 1