Epistemic modelling and protocol dynamics by