(1)>=(1)