Inappropriately tied in the TurboTax logic, not tied in the tax code. Yes, this is obviously how this bug came to be in TurboTax. The developers didn't design the change in TurboTax behavior appropriately.
