I think I saw taxable income for NOL calculation in the statement.  But that taxable incomes automatically includes NOL carryover.  When I took away carryover NOL and apply 80% for deduction,  his taxable social security changed.