Analogical reasoning in geometry proofs