But let us stop to consider some traditional accounts of "the nature of truth." The most popular of these consists in say- ing that the truth is correspondence. "A proposition is true if it corresponds with a fact"; for instance, if it is a fact that you have a pet leopard, and if you say that you have a pet leopard, your statement is true because it corresponds with the fact. Truth is correspondence with fact.