>= and counter addition