Logic & Proof: Counterexamples | Ecency