Second-order Welfare analysis and Occasionally Binding borrowing constraint

Please have a look at