higher bound for height
map fold ___