 In the Tractatus, Wittgenstein claims that a genuine proposition, which rests upon conventions, is used by us to assert that a state of affairs (i.e., an elementary or atomic fact; ‘Sachverhalt’) or fact (i.e., multiple states of affairs; ‘Tatsache’) obtain(s) in the one and only real world. An elementary proposition is isomorphic to the possible state of affairs it is used to represent: it must contain as many names as there are objects in the possible state of affairs. An elementary proposition is true iff its possible state of affairs (i.e., its ‘sense’; ‘Sinn’) obtains. Wittgenstein clearly states this Correspondence Theory of Truth at (4.25): 