higher bound less ant
less ant ant ___