The Past-Completeness Theorem | Synapse