The Zhu-Liang Truth Function Theorem: A Proof That Truth Necessarily Is a Function | Synapse