The World Is Not a Theorem | Synapse