wow, i'm really impressed. a general-purpose reasoning model found a counterexample to something. color me shocked. https://www.reddit.com/user/NutInBobby