Commit 2023-10-23 09:44 72c71a74

chore(counterexamples): remove incorrect counterexample (#7836) This was a counterexample I suggested to a certain problem, and it was added to counterexamples/ without proof. I later realised it doesn't actually work, so I'm removing it from this file. Damiano's example does still work, and provide a counterexample to the claim.