A formal proof uses all of the following components except what?

A. Geometry rules

B. Theorems

C. A set of examples

D. Algebra rules