Subtle non-implication in corneringsLast updated Sep 8, 2023Why proarrows are not the algebra of messagesThe Structure of Concurrent Process Histories (Nester, 2020)