higher bound is height