[UncleMeat]

But you aren't bounding the runtime of the thing. You are bounding the runtime of your abstract interpreter of the thing.