higher bound a in
closure bound ___