A claim says: 'If two angles in a triangle are equal, then the triangle is a right triangle.' You want to test the claim quickly by searching for a counterexample. Which tool is best?