Formalising Agent Mediated Electronic