higher bound a in
closure a float less float float
float bound ___