(#x:left  >= #x:right)