²We will also assume that if you claimed an investment tax crediton a unit of investment in period t, then if you resell the portion that remains after depreciation in a future period, you must repay the ITC corresponding to the remaining capital. Actual tax treatment of depreciation is too complicated be worth incorporating into the model; this assumption captures the core of it.