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

― Janna Levin , A Madman Dreams of Turing Machines