Proof.fail – document what didn't work