Efficient allocations with moral hazard and hidden borrowing and lending: A recursive formulation · Study