triangle proofs determine proof correctness - Search