Removed testcases where we don't really have a proof.