r4 a-!a-!&lt;gis b&gt;-!