Note also that these theories should not be confused with computer programs that have the ability to reason about geometrical objects. This is part of the research area of automated reasoning—see Chou et al. (1994) for a nice introduction — and its basic objects are proofs, not necessarily the mathematical objects the proofs are about.