 With facts and structured propositions in hand, an attempt may be made to explain the relation of correspondence. Correspondence holds between a proposition and a fact when the proposition and fact have the same structure, and the same constituents at each structural position. When they correspond, the proposition and fact thus mirror each-other. In our simple example, we might have: