 Since the proposition that “describes the complex,” [aRb], “perfectly” is just the proposition that aRb, Wittgenstein’s clarifying addendum amounts to the claim that the proposition “aRb” is equivalent to the proposition “[aRb] exists.” And this equivalence is just our [4].