Cornering Optics (Boisseau, Nester, Román, 2022) Polarized monoidal category Subtle non-implication in cornerings Why proarrows are not the algebra of messages