Accordingly, it reduces the participant's tax basis by the initial default amount of $20,000, so that the participant's remaining tax basis in the plan is zero.
The amount of the outstanding loan is not treated as part of the account balance for purposes of section 72.