copilottriangle proofs determine proof correctness - Search