higher bound a in
closure in bound ___