How Gödel Both Did and Did Not Steal from Schmidt | Synapse