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