higher bound on height
stack less ions float free ___