Protocols and Prisms