message theory Cornering Optics (Boisseau, Nester, Román, 2022) Concurrent Process Histories and Resource Transducers (Nester, 2022) Subtle non-implication in cornerings
