higher bound a in
closure a float down ___