Our propositions are true if they have the same structure as the world. Truth is a correspondence through structure.