higher bound us here

with our limits defined✕