Proof moves for counterexamples | Zoonk