op(2,op(2,p))=e op(2,op(1,op(3,p)))=f op(2,op(1,op(1,op(3,p))))=e