What is required is a formal expression of the fact that a proposition is true when it points towards its objective, and false when it points away from it, In very simple cases we can give a very simple account of this: we can say that true propositions actually resemble their objectives in a way in which false propositions do not.