higher bound a in
rush down ___