[gowld]

Trying and failing to prove something tells you quite a lot about what a counterexample would look like.