In his theory of Logical Atomism, Russell posited the highly controversial idea that for every positive fact exists a parallel negative fact: a fact that is untrue. The correspondence theory maintains that every atomic proposition coordinates with exactly one atomic fact, and that all atomic facts exist. The Theory of Acquaintance says that for any given statement taking the form of an atomic proposition, we must be familiar with the assertion it makes. For example, in the positive statement, “the leaf is green,” we must be acquainted with the atomic fact that the leaf is green, and we know that this statement corresponds to exactly this one fact. Along this same line, the complementary negative statement, “the leaf is not green," is clearly false given what we know about the color of the leaf, but our ability to form a statement of this nature means that a corresponding fact must exist. Regardless of whether the second statement is or isn't true, the connection between its proposition and a fact must itself be true. One central doctrine of Logical Atomism, known as the Logically Perfect Language Principle, enables this conclusion. This principle establishes that everything exists as atomic proposition and fact, and that all language signifies reality. In Russell's viewpoint, this necessitates the negative fact, whereas Wittgenstein maintained the more conventional Principle of Bivalence, in which the states "P" and "Not (P)" cannot coexist.