higher bound on height
stack ability tower
proof builder ___