Is calfirpta withholding from a house sale a deduction?