higher bound a in
closure in held ___