Brute forcing a counter example is a lot easier if someone was already prompting it trying to solve it the direct way.. funny eh?