&lt;fis,b,&gt;(a b dis b a)&lt;gis b,e,&gt;(e b)