simple-counterexamples/SimpleCounterexamples.lean