In calculi for modelling communication protocols. internal and external choices play dual roles. Two external choices can be viewed naturally as dual too. as they represent an agreement between the communicating parties. https://www.marcelovicente.com/product-category/curls-rock-amplifier/