eliminate (<=)/2 altogether