higher bound a in
closure is ___