Taxes paid on inputs are subtracted from taxes that must be paid on output in the event of an input tax credit.