Tags: Promonoidal category of optics, Polarized notation for optics, two generals problem, TCP three way handshake.