higher bound a in
closure a ___