> we keep track of "how" true statements are, or more precisely where they are true.<p>I’m reminded of Greg Egan’s short story Luminous, in which a supercomputer brute-forces over a boundary between (by the definitions in this article) something like topoi.