Add a "must underflow" case as suggested by @pah