Operator Doublets, Erased History Fibres, and the No-Sequential-Re-entry Theorem | Synapse