Logic & Proof: Counterexamples