This is what TurboTax engineers laugh while writing and refer to as the "hopeful tax".