
a >= b -> a=c | d=e & c=d
	-> a=c & !(d<=e | e!=f & k=w)