Before revision:  We obtain a complete solution to the post-default optimization subproblem, and prove a verification theorem for the solution of the pre-default optimization subproblem .
After revision:  We obtain a complete solution to the post-default optimization subproblem, and prove a verification theorem characterizing each value function as the solution of the pre-default optimization subproblem .