what about just having a `>=` bound?