Protocols of Linearity