The Zhu–Liang Theorem of Truth as a Gauge: Proof That Truth Must Be a Function | Synapse