higher bound on height
stack ability tower
proof builder stack ___