Congruence and similarity, formal geometric proofs, and applications of deductive reasoning in geometry.