higher bound on height
set ts ___