higher bound a in
closure in ___