=ffxxfxyx.            % absorb
=fxfxxfyfyy.          % one
=fxffyzfyzfzffyxfyx.  % assoc
=fxfxfxyfxy.          % OML axiom
=fxfyfxfzzfxfzfxfyy.  % modularity