Yeah, to some extent it's also important that the marginal tax rate should always be monotonically nondecreasing. But that's not quite as critical as the marginal tax rate never being above 100% (including all accounting for loss of credits/deductions).