higher bound a in
closure less ___