higher bound for height
less for re ___