higher bound a in
closure and ___