The full text on this page is automatically extracted from the file linked above and may contain errors and inconsistencies.
Working Paper Series Optimal Personal Bankruptcy Design: A Mirrlees Approach WP 08-05 This paper can be downloaded without charge from: http://www.richmondfed.org/publications/ Borys Grochulski Federal Reserve Bank of Richmond Optimal Personal Bankruptcy Design: A Mirrlees Approach Borys Grochulski Federal Reserve Bank of Richmond Working Paper 08-05 September 2008 Abstract In this paper, we develop a normative theory of unsecured consumer credit and personal bankruptcy based on the optimal trade-o¤ between incentives and insurance. First, in order to characterize this trade-o¤, we solve a dynamic moral hazard problem in which agents’ private e¤ort decisions in‡uence the life-cycle pro…les of their earnings. We then show how the optimal allocation of individual e¤ort and consumption can be implemented in a market equilibrium in which (i) agents and intermediaries repeatedly trade in secured and unsecured debt instruments, and (ii) agents obtain (restricted) discharge of their unsecured debts in bankruptcy. The structure of this equilibrium and the associated restrictions on debt discharge closely match the main qualitative features of personal credit markets and bankruptcy law that actually exist in the United States. Keywords: Bankruptcy, unsecured credit, moral hazard. 1 Introduction Provision of debt relief and “a fresh start” to “the honest but unfortunate debtor” is recognized in the legal literature as the main role for the institution of personal bankruptcy.1 In the language of economics, this role amounts to the provision of insurance and has been recognized as such in the literature on the economics of personal bankruptcy.2 In this paper, we take this role as given and ask the following normative question: How should the institution of personal bankruptcy be designed to ful…ll its role e¢ ciently? We approach this question in two steps. In the …rst step, we propose an economic environment that precisely determines what e¢ cient provision of insurance means. Speci…cally, we consider a dynamic moral hazard environment in which agents’private e¤ort decisions in‡uence the life-cycle I wish to thank Huberto Ennis, Mikhail Golosov, John Karaken, Erzo Luttmer, Leonardo Martinez, Christopher Phelan, B. Ravikumar, Pierre Sarte, and Jan Werner for their helpful comments on this paper. Any remaining errors are mine. The views expressed here are mine and do not necessarily re‡ect those of the Federal Reserve Bank of Richmond or the Federal Reserve System. Email address: borys.grochulski@rich.frb.org 1 This role is expressed, e.g., in the 1934 Supreme Court decision Local Loan Co. v. Hunt, 292 U.S. 234, 244 (1934). See also Jackson (1985) and references therein. 2 See, e.g., Athreya (2002), White (2007). 1 pro…les of their income. High e¤ort mitigates the income risk but cannot eliminate it completely. In this environment, the (constrained) e¢ cient allocation of consumption and e¤ort recommends high e¤ort and does not provide full insurance against the income risk, as incentives for high e¤ort must be provided through a positive correlation between income and consumption. This correlation re‡ects the optimal trade-o¤ between incentives and insurance. In the second step, we demonstrate how this solution to the moral hazard problem can be implemented as a competitive equilibrium outcome in a market economy in which agents (consumers) repeatedly trade with free-entry …nancial intermediaries in a set of secured and unsecured debt instruments. Unsecured consumer debt is subject to discharge under speci…c rules of a personal bankruptcy law, which we characterize. Since this bankruptcy law implements the e¢ cient amount of income risk insurance, it e¢ ciently ful…lls the role assigned to the institution of bankruptcy. The outcome of our normative analysis provides a theory of unsecured credit and personal bankruptcy. We proceed then by taking a …rst step toward confronting this theory with the data. In Section 7, we compare qualitatively the bankruptcy law and the structure of the unsecured credit markets that emerge in our model with the main features of the bankruptcy law and personal credit markets that actually exist in the United States. The basic structures of the two sets of institutions turn out to match closely. First, the e¢ cient bankruptcy law of the model consists of (1) an income-tested bankruptcy eligibility condition; (2) a discharge provision, which frees the bankrupt agent from all unsecured debt obligations; and (3) a liquidation rule with an exemption provision. Liquidation means that the bankrupt agent’s assets in excess of a given exemption level are seized from the agent and used to (at least partially) repay the creditors. The exemption provision sets the asset exemption level as well as frees all current and future labor income of the agent from any further creditors’claims. These three properties emerge endogenously as e¢ cient personal bankruptcy rules in our normative model. In Section 7, we document that the same three properties characterize actual law that regulates personal bankruptcy in the United States. In particular, properties (1)-(3) are central features of the so-called U.S. chapter 7 personal bankruptcy procedure. Second, the structure of the unsecured credit markets in our model is very similar to the structure of the unsecured credit markets in the U.S. economy. In the model, competitive intermediaries o¤er unsecured credit to the consumers in the form of loans characterized by an interest rate and a credit limit. In equilibrium, these interest rates and credit limits depend on consumers’observable characteristics that include income, debt, and assets. Intermediaries do have information about their prospective borrowers’ unsecured debts outstanding with all other intermediaries, i.e., consumers cannot borrow anonymously. In Section 7, we document that all these features obtained in our normative model also characterize the actual structure of the unsecured consumer credit markets in the United States. The hypothesis adopted in this paper is that (i) social insurance is provided through unsecured credit and bankruptcy discharge, and (ii) the trade-o¤ between insurance and incentives that arises from moral hazard is important for credit market and bankruptcy arrangements. Our theory of unsecured consumer credit and personal bankruptcy is built by deriving the implications of this 2 hypothesis under the requirement of e¢ ciency. The broad consistency of these implications with the observed institutions ought to be viewed as evidence validating our hypothesis. Agents’private e¤ort is the sole friction in the primitives of the economic environment we study in this paper. Consistently, therefore, in the market economy implementing the optimal allocation, we assume that unobservable e¤ort is the only friction. In particular, full enforcement of private promises to repay debt is assumed to be available and, thus, consumers can borrow and lend at a risk-free rate. As well, we assume that all trades are publicly observable. Any relaxation of these assumptions would introduce an additional friction into the underlying economic environment, which would be inconsistent with our objective of isolating the implications of moral hazard for unsecured credit and personal bankruptcy. In the life-cycle model we consider, there are only two possible realizations of agents’income in each period and the income shocks that agents experience are persistent. This formulation is suitable for studying the provision of insurance through personal bankruptcy. It is generally understood that insuring the frequent, small, and transitory shocks that households routinely experience over the life-cycle is not a role for the institution of personal bankruptcy. Such granular shocks are probably best insured through other means, or— possibly because of moral hazard— may have to go uninsured altogether. To re‡ect this, we assume in our model a two-point support for the income in shock each period and interpret the …rst low income realization in the life-cycle as a shock su¢ ciently large to trigger bankruptcy. Our model with persistence admits a large class of low-frequency income processes, which makes our formulation both empirically plausible and suitable for studying optimal personal bankruptcy design. Relation to the literature Methodologically, this paper is closely related to the Mirrleesian dynamic optimal taxation literature (e.g., Kocherlakota 2005, Albanesi and Sleet 2006, Golosov and Tsyvinski 2006). We follow the same approach to the question of optimal design of the bankruptcy code as that literature uses with regard to the question of optimal design of the tax code. In this approach, following the seminal work of Mirrlees (1971), optimal institutions emerge as mechanisms that implement optimal allocations derived directly from the primitives of preferences, technology, and information. Incomplete public information is a key friction shaping the optimal allocations and the institutions that attain them.3 In our model, private information takes the form of the lack of public observability of e¤ort. Unlike most papers in the literature on dynamic moral hazard, our stochastic structure is not iid.4 We consider a …nite-horizon, life-cycle model with a stochastic structure allowing for income persistence and age e¤ects.5 The optimal allocation obtained in our model is recursive in an agent’s continuation utility and, due to the persistence of income, the most recent realization of individual income. 3 Among other topics, dynamic models with private information have also been used to study optimal unemployment insurance (e.g., Atkeson and Lucas 1995, Hopenhayn and Nicollini 1997) and optimal …nancial structure for a …rm (e.g., Clementi and Hopenhayn 2006, DeMarzo and Sannikov 2006). 4 Contributions to the repeated moral hazard literature include Rogerson (1985), Spear and Srivastava (1987), Phelan and Townsend (1991). 5 Note that the persistent variable, i.e., income, is public. This is unlike in Fernandes and Phelan (2000) where the persistent variable is private. 3 At the technical level, our implementation with bankruptcy has features common with several tax implementations studied in the dynamic optimal taxation literature. Similar to the tax system of Albanesi and Sleet (2006), which is recursive in wealth, our implementation with bankruptcy has a recursive structure. In our model, the state vector characterizing an agent consists of two variables: wealth and the most recent realization of individual income. Similar to the asset-tested disability insurance system of Golosov and Tsyvinski (2006), the optimal bankruptcy rules of our model introduce a kink (a point of non-di¤erentiability) in the budget set faced by the agents. Most papers in the dynamic optimal taxation literature study implementations in which the government is the sole provider of social insurance.6 In our implementation with bankruptcy, the role of the government is restricted to designing a bankruptcy law that allows agents to optimally self-insure by trading (repeatedly) with pro…t-maximizing private intermediaries. Obviously, the implementation mechanism we propose is not unique in the environment we study. Prescott and Townsend (1984) and Atkeson and Lucas (1992), among others, provide examples of market-like implementations of solutions to optimal allocation problems with private information. These examples can be easily adapted to our life-cycle environment with moral hazard. What differentiates our implementation is its similarity to the U.S. unsecured credit markets and personal bankruptcy laws. The realism of our implementation mechanism makes it useful for thinking about the connection between real-world personal bankruptcy regulations and e¢ cient solutions to normative optimal allocation problems with private information. This paper is primarily related to the theoretical literature on default and personal bankruptcy. Papers in this literature can be divided into three groups. First, there are papers that study default in economies with exogenously incomplete markets. Second, there are papers that study default and bankruptcy in economies with limited enforcement. In the third group are papers that, as we do herein, study default and bankruptcy in environments with private information. Dubey, Geanakoplos and Shubik (2005) is a seminal paper in the literature on default (as opposed to bankruptcy) with exogenously incomplete markets.7 That paper makes two important contributions. First, it extends the classic Arrow-Debreu model of general equilibrium to allow for defaultable assets and competitive asset pools. Second, it demonstrates that such assets and pools may improve e¢ ciency of the equilibrium outcome when asset markets are incomplete. In our paper, we use the competitive equilibrium construct of Dubey, Geanakoplos and Shubik (2005) to model the unsecured consumer credit market. Unlike Dubey, Geanakoplos and Shubik (2005), however, we do not assume an exogenously incomplete asset market structure. Rather, our model’s asset market structure is endogenously incomplete, with a set of traded contracts emerging as a mechanism implementing the (constrained) optimal allocation under moral hazard. It is important to note that the fact that our model is built without exogenous contract-space restrictions allows us to characterize an optimal— not merely an e¢ ciency-improving— unsecured credit market structure 6 Golosov and Tsyvinski (2007) study the provision of social insurance by competitive insurance …rms and show that the competitive outcome may be ine¢ cient when agents have access to hidden re-trade markets. In this paper, we study optimal social insurance in an environment in which moral hazard is the only friction, i.e., all trades are observable and the results of Prescott and Townsend (1984) imply that the competitive outcome is e¢ cient. 7 Other contributions to this literature include Zame (1993), Araujo and Pascoa (2002). 4 and bankruptcy arrangement. Also, the abstract model of Dubey, Geanakoplos and Shubik (2005) introduces default but does not explicitly de…ne an institution of personal bankruptcy, which makes this model di¢ cult to compare with the observed institutions. The unsecured credit markets and the bankruptcy code of our model, in contrast, have clear counterparts in the institutions observed in the U.S. economy. The papers that study default and bankruptcy in environments with limited enforcement include Kehoe and Levine (1993, 2001, 2006), Alvarez and Jermann (2000), among others. In this literature, enforcement of individual promises is restricted by the agents’ ability to leave the economy and consume their individual endowment (i.e., their labor income). The loss of the ability to trade with others is the only penalty faced by the agents who leave. Most papers in this literature interpret leaving the economy as default. Under this interpretation, the possibility of default restricts feasible risk sharing, but default never actually occurs in equilibrium. Under this interpretation, thus, limited enforcement does not deliver a theory of default or bankruptcy. In a recent paper, Kehoe and Levine (2006) abandon this interpretation of default in a limited enforcement environment. They demonstrate how the optimal allocation can be implemented as an equilibrium of an economy with defaultable assets in which default and bankruptcy do occur along the equilibrium path. This implementation mechanism is similar to the one we use in that the event of default/bankruptcy is identi…ed with the provision of an implicit insurance payment to agents hit by an adverse income shock. The optimal institution of bankruptcy obtained in Kehoe and Levine (2006), however, di¤ers from the one that we obtain in our private information model. In their model, bankrupt agents are allowed to keep the returns on the loans they make to other agents but lose their holdings of all other assets. In our model, …nite but non-zero asset exemptions emerge as a key element of the optimal bankruptcy arrangement. Also, the structure of the unsecured credit markets we obtain in our model di¤ers signi…cantly from the mutual credit arrangement studied in Kehoe and Levine (2006). The results we obtain in this paper suggest that moral hazard is an important force shaping the observed bankruptcy institutions. The results of Kehoe and Levine (2006) indicate that limited enforcement may be important as well. The third strand of the theoretical literature on default and bankruptcy includes the papers that study environments with private information. Typically, papers in this literature study private information contracting problems in which agents’ ability to declare bankruptcy is taken as an exogenous constraint on the set of feasible contracts (see, e.g., Bizer and DeMarzo 1999, Bisin and Rampini 2006). In this paper, in contrast, bankruptcy is an element of a mechanism implementing the optimal allocation obtained in an environment in which private information is the sole friction. In our model, thus, bankruptcy is an endogenous outcome rather than an exogenous constraint. In a recent paper, Rampini (2005) studies an optimal risk sharing problem in a static private information environment and interprets the net transfers to agents hit by an adverse idiosyncratic income shock as default. That paper characterizes the size of the net transfers as a function of the realization of an aggregate income shock, which is observable. Net transfers are interpreted as default but actual borrowing and lending is left implicit. Rampini (2005) does not formally de…ne an institution of bankruptcy and does not consider the question of implementation of the optimal 5 allocation in a market economy with default/bankruptcy. In our paper, in contrast, we not only characterize the optimal allocation but also demonstrate how it can be implemented in a market economy with unsecured credit and bankruptcy. Also, we study a dynamic moral hazard environment with no aggregate risk, whereas Rampini (2005) studies a static hidden income environment with an aggregate shock. Indirectly, this paper is also related to the quantitative literature on consumer credit, default and personal bankruptcy.8 This literature builds on the theoretical foundation of the incomplete markets literature, in which, as in Dubey, Geanakoplos and Shubik (2005), the role for default and bankruptcy stems from exogenous restrictions on the set of traded assets. The choice of these restrictions is important because the quantitative results obtained in this literature depend on the exact structure of these restrictions.9 In our paper, analogous restrictions emerge endogenously as a mechanism implementing an optimal allocation. Therefore, the structure of the unsecured credit markets and the bankruptcy institution obtained in our model may be useful in guiding the choices of the credit market and bankruptcy structures studied in the quantitative literature. In particular, in the concluding Section 8 we brie‡y discuss two key features of the optimal market arrangement obtained in our model that have not been incorporated in the market arrangements studied in the quantitative literature. Organization Section 2 lays out the environment and de…nes e¢ ciency. Section 3 provides a characterization of the optimal allocation. Section 4 lays out the market economy with unsecured credit and an institution of bankruptcy. It also formally de…nes and proves implementation, and provides a partial characterization of an optimal market arrangement and bankruptcy code. Section 5 provides further characterization by showing how optimal unsecured credit limits and asset exemption levels change with wealth. Section 6 isolates the e¤ect that moral hazard has on the structure of the optimal market arrangement and bankruptcy code of Section 4 by comparing it with a creditand-bankruptcy system that would be optimal in our environment had moral hazard been absent. Section 7 discusses the similarities and dissimilarities between the optimal arrangement obtained in the model and the structure of unsecured consumer credit contracts, markets for consumer credit, and bankruptcy law currently functioning in the United States. Section 8 concludes. 2 Environment and e¢ ciency The time horizon is …nite with T +1 periods indexed by t = 1; :::; T +1. There is a single consumption good in every period. The model economy is populated by a continuum of agents. All agents are ex ante identical with respect the their income-earning abilities and preferences over consumption and e¤ort. 8 Papers in this literature include Athreya (2002), Chatterjee et al. (2007), Li and Sarte (2006), and Livshits, MacGee and Tertilt (2007). 9 See Townsend (1988) for a discussion of the limitations of policy analysis with exogenous restrictions on the set of contracts that agents can enter. 6 2.1 Individual income, preferences, and information Agents consume in all T + 1 periods. Consumption in period t is denoted by ct . Individual income of an agent in period t = 1; :::; T , denoted by yt , takes on values from the set L t < H t for all t e¤ort in period t in period T + 1. t =f T: Agents earn no income in the …nal time period T +1, i.e., yT +1 L H t ; t g, with 0. Individual T , denoted by xt , takes on values from f0; 1g for t = 1; ::; T . There is no e¤ort The distribution of individual income in period t depends on the current e¤ort and the previous period’s income level. The probability that individual income yt is realized at the value tional on e¤ort xt and income yt 1, is denoted by t;yt 1 H t jxt ) ( is productive: t;yt for any yt 1. 1 H t j1) ( > t;yt 1 ( for t 10 T. H t , condi- We assume that e¤ort H t j0) (1) We allow for persistence in the income process: t; for any xt . Note that t 6= s H t 1 H t jxt ) ( L t 1 t; ( H t jxt ) (2) for t 6= s allows for life-cycle e¤ects. Timing within a period is a follows. First, agents consume and expend e¤ort. Then individual income is realized. This means that consumption ct cannot be conditioned on contemporaneous income yt .11 Let y t = (y1 ; :::; yt ) denote the partial history of realized income up to period t. The set of all income histories of length t is given by c = (c1 ; :::; cT +1 ), where ct : t 1 t 1 ::: ! R+ . Here, ct (y t 1 12 t. An individual consumption plan is ) represents the consumption assigned in period t to an agent whose individual income history coming into period t is y t e¤ort plan is x = (x1 ; :::; xT ), where xt : t 1 1 . An individual ! f0; 1g represents the e¤ort recommended in period t to an agent whose individual income history is y t 1 . Let Ex denote the expectation operator over the paths y T 2 T conditional on an e¤ort plan x. Agents’preferences over pairs (c; x) are represented by the expected utility function U (c; x) T X Ex [ t=1 t 1 fVt (xt ) + U (ct )g + T UT +1 (cT +1 )]; where period utility functions U : R+ ! R, UT +1 : R+ ! R, and Vt : f0; 1g ! R satisfy U 0 > 0, U 00 < 0, UT0 +1 > 0, UT00+1 < 0, and Vt (1) < Vt (0) for all t T. Throughout the paper, we assume that e¤ort is private information of the agents. All other variables are publicly observable. 1 0 Here, y0 denotes the initial empty income history, the same for all agents. timing assumption is not essential. 1 2 Also, 0 will denote the initial empty history y . 0 1 1 This 7 2.2 Allocations and e¢ ciency Agents are ex ante heterogeneous with respect to their initial promised utility !. Let distribution of agents with respect to the promised utility value !, and let S( ) denote the R denote the support of this distribution. An allocation is an assignment of a pair (c; x) to each promised utility value ! in S( ).13 We will denote an allocation by A = (c(!); x(!))!2S( ) . Since e¤ort is private information of the agents, we restrict attention to incentive compatible allocations.14 Allocation A is incentive compatible (IC) if x(!) 2 arg max U(c(!); x ~) x ~2E for all ! 2 S( ), where E is the set of all individual e¤ort strategies, i.e., the (…nite) set of all mappings x ~t : t 1 ! f0; 1g for t T. An IC allocation A = (c(!); x(!))!2S( ) delivers the promised utility distribution if U(c(!); x(!)) = ! for all ! 2 S( ). T Let fqt gt=1 be an exogenous sequence of one-period discount rates at which resources can be transferred across time in this economy.15 Given these prices, an IC allocation A = (c(!); x(!))!2S( C1A ( ) Z T +1 X t 1 s=1 qs Ex(!) [ S( ) t=1 fct (!) yt (!)g] (d!); (3) 0 s=1 qs where yt (!) denotes the income process induced by the e¤ort assignment x(!), and Allocation A is e¢ cient if it is IC, if it delivers the initial distribution of promised utility if it minimizes, among all IC allocations that deliver 2.3 Let C ) generates a net cost C1A ( ) given by that delivers the promised utility distribution , the net cost C1A ( 1. , and ). Recursive component planning problem U 1 , CT +1 1 UT +1 , and Xt Vt 1 for t T . For any t component planning problem is to …nd the cost function Bt;yt Bt;yt 1 (wt ) = min 0 u;v;w (yt ) C(u) + X yt 2 t;yt t 1 1 T and yt 1 2 t 1, the : R ! R de…ned as follows: (yt jXt (v)) f yt + qt Bt+1;yt (w0 (yt ))g ; 1 3 Note that under an allocation, all agents with the same ! receive the same treatment. Such allocations are often called type-identical. 1 4 By the Revelation Principle, this is without loss of generality. 1 5 These outside markets do not have to be interpreted as international credit markets. They can be domestic markets in which the interest rate is determined by the marginal productivity of capital in the business sector. Production and capital accumulation processes are outside of the model, i.e., our economy represents the consumer sector for which the intertemporal resource prices are exogenous. 8 where minimization is subject to the temporary incentive compatibility (TIC) constraint X v+ yt 2 where v~ = Vt (1 t;yt t 1 (yt jXt (v))w0 (yt ) v~ + X yt 2 t;yt 1 t (yt jXt (~ v ))w0 (yt ); (4) Xt (v)), and the promise keeping (PK) constraint v+u+ X yt 2 t;yt t 1 (yt jXt (v))w0 (yt ) = wt ; (5) and where the function Bt+1;yt solves the component planning problem at (t + 1; yt ). At (T + 1; yT ), the component planning problem is to …nd the cost function BT +1;yT : R ! R de…ned as follows: BT +1;yT (wT +1 ) = min CT +1 (u); u where minimization is subject to the PK constraint u = wT +1 : In these recursively de…ned minimization problems, Bt;yt 1 (wt ) represents the minimum resource cost at t to provide continuation utility wt to an agent whose previous period’s income is yt any t T , yt 1 2 t 1 1. For and any number wt , let ut;yt 1 (wt ), vt;yt 1 (wt ), and wt+1;yt 1 (wt ; yt ) denote policies that attain Bt;yt 1 (wt ). Also, let uT +1;yT (wT +1 ) denote a policy that attains BT +1;yT (wT +1 ). and policies f(vt;yt 1 ; ut;yt 1 ; wt+1;yt 1 )t=1:::T yt 12 An initial distribution of promised utility de…ne an allocation A = (c(!); x(!))!2S( t 1 R ) t 1 ; uT +1;yT g = (w1 ; :::; wT +1 ), where wt : as follows. Let w ! R, be an optimal continuation utility process de…ned as a solution to the di¤erence equations wt+1 = wt+1;yt 1 (wt ; yt ) with the initial value w1 = !.16 For any ! 2 S( ), the individual consumption plan c(!) is given by ct (!; y t for all t and y t 1 2 t 1 T and y t 1 2 ) = C(ut;yt 1 (wt (!; y t 1 ))); (6) , and the e¤ort plan x(!) is given by xt (!; y t for t 1 t 1 1 ) = Xt (vt;yt 1 (wt (!; y t 1 ))); . It is a straightforward modi…cation of the results of Atkeson and Lucas (1992) to show that such de…ned allocation A = (c(!); x(!))!2S( ) is e¢ cient. We will refer to this allocation as the optimum, and denote it by A = (c (!); x (!))!2S( ) . 1 6 To clarify the notation: wt+1 represents a generic continuation utility level in period t + 1, wt+1;yt 1 (wt ; yt ) is an optimal policy function in the component planning problem, and wt+1 (!; y t ) is the value of the optimal continuation utility process generated from the initial promised utility ! and the sequential application of policy functions wt+1;yt 1 (wt ; yt ) along the history y t . 9 3 Properties of the optimum To avoid dealing with trivial cases, we assume that high e¤ort is e¢ cient at all dates and states.17 Assumption 1 The parameters of the environment are such that high e¤ ort is e¢ cient at all dates and states, i.e., xt (!; y t T and y t for all t 1 t 1 2 1 )=1 . Given the ‡exibility of the speci…cation of preferences, technology and the support of the initial distribution , it is clear that such parameters actually exist. Note that this assumption implies that vt;yt 1 (wt (!; y t 1 throughout. )) = Vt (1) for all ! 2 S( ), t T , and y t 1 t 1 2 . We maintain Assumption 1 The following lemma establishes, as a consequence of Assumption 1, some properties of the solutions to the component planning problems. Lemma 1 For any t T + 1, yt 2 1 convex, and di¤ erentiable with t 1, Bt; For any t T , yt 1 properties: 2 t 1 + qt Bt+1; Bt; H t 1 L t 1 1 are strictly increasing, strictly : (7) and wt , the solution to the component planning problem has the following wt+1;yt 1 (wt ; H t the cost functions Bt;yt H t (wt+1;yt 1 (wt ; H t ) > wt+1;yt 1 (wt ; L t H t )) L t ); (8) + qt Bt+1; Lt (wt+1;yt 1 (wt ; L t )); (9) 0 Bt;y (wt ) = C 0 (ut;yt 1 (wt )); t 1 0 Bt+1; (wt ; L (wt+1;y t 1 t qt 1 X yt 2 L t ))qt t;yt t 1 1 0 0 < Bt;y (wt ) < Bt+1; t 1 H t (10) (wt+1;yt 1 (wt ; H t ))qt 1 0 0 (yt jxt )Bt+1;y (wt+1;yt 1 (wt ; yt )) = Bt;y (wt ): t t 1 Also, the component planner policy functions ut;yt 1 (wt ) and wt+1;yt 1 (wt ; yt ), yt 2 ; (11) (12) t, are strictly increasing in wt . Proof In Appendix. Inequality (7) follows from the persistence of income. Intuitively, when income is persistent, delivering a given amount of utility wt to an agent whose past income is high is less costly than delivering the same wt to an agent whose past income is low. Properties (8)-(12) are standard in dynamic moral hazard models. In particular, inequality (8) means that agents continuation value increases with realized income. This property follows from the need to reward high e¤ort. If it did not hold, high e¤ort would not be incentive compatible for the agents. Inequality (9) means that 1 7 Our results can be easily extended to the environments in which the optimal e¤ort recommendation is zero in some states. In these states, the incentive problem vanishes and characterization of the optimum and implementation are straightforward. 10 the component planner provides a net payment to the low-income agents and receives a net payment from the high income agents. If this were not true, the high e¤ort recommendation would not be optimal for the planner. We now demonstrate two important properties of the optimum. Proposition 1 At the optimum A , all agents are 1. insurance-constrained: U 0 (ct+1 (!; (y t 1 ; H t ))) < < for any ! 2 S( ), t T , and y t 1 2 t 1 qt U 0 (ct (!; y t 0 1 U (ct+1 (!; (y )) t 1 (13) ; L t ))) (14) ; and 2. savings-constrained: P yt 2 for any ! 2 S( ), t t t;yt T , and y t 1 U 0 (ct (!; y t 1 )) (yt j1) U 0 (ct+1 (!; (y t 1 2 t 1 1; y t ))) < 1 qt (15) . Proof Inequalities (13) and (14) follow from the two inequalities in (11) after substituting from (10), (6), and using the inverse function theorem. Inequality (15) follows from (12), (10), (6), the inverse function theorem, and the Jensen inequality. Inequalities (13) and (14) mean that the optimal amount of insurance provided to the agents is less-than-full. At the optimal allocation, if an agent had an opportunity to take out insurance against the consumption risk remaining in the optimal consumption allocation, she would be willing to pay more than the fair-odds premium for it. Inequality (15) means that the optimal amount of intertemporal consumption-smoothing provided to the agents is less-than-full. At the optimal allocation, if an agent had an opportunity to borrow or save, she would be willing to save at a gross rate of interest smaller than 1=qt , i.e., pay a premium relative to the intertemporal cost of resources qt . 4 Market equilibrium implementation We proceed now to showing how the optimum can be implemented as an equilibrium outcome of a market economy in which agents sequentially trade with zero-pro…t intermediaries in secured and unsecured debt instruments subject to debt discharge regulated by an institution similar to the U.S. bankruptcy law. 11 4.1 Ine¢ ciency of the riskless claims equilibrium and advantages of unsecured lending As a point of departure we take a result of Atkeson and Lucas (1992), which demonstrates that the standard riskless claims market equilibrium is incapable of the implementation of the private information optimum. Consider, in the context of our environment, a market mechanism consisting simply a set of riskless claims markets.18 With free entry into the riskless borrowing and lending, T the presence of the outside markets for riskless claims with prices fqt gt=1 implies (by arbitrage) that the equilibrium claims prices must be identically equal to T fqt gt=1 . An equilibrium allocation of consumption under such a set of markets, denoted by c^, must satisfy the standard Euler equation U 0 (^ ct )qt = Et [U 0 (^ ct+1 )] : Therefore, c^ cannot coincide with c , as c satis…es the strict inequality (15), which can be rewritten as U 0 (ct )qt < Et U 0 (ct+1 ) : This, as pointed out in Atkeson and Lucas (1992), means that a simple set of riskless claims markets does not implement the private-information optimum.19 Intuitively, two factors contribute to the riskless claims markets’ failure to implement the optimum. First, riskless claims’ payo¤s are uncontingent, i.e., they are not contingent on individual agents’ income realizations. Thus, riskless claims markets do not allow the agents to su¢ ciently insure their individual income risk. Second, riskless claims markets provide unrestricted access to self-insurance via savings. In the presence of the …rst failure, agents over-self-insure (i.e., over-save) in the riskless claims equilibrium. How can these two failures be avoided with unsecured lending? Suppose that the riskless claims markets are supplemented with unsecured debt, and that agents can discharge their unsecured debt obligations if their individual income realizations are low. Such an expanded set of markets, clearly, can provide better insurance against individual-speci…c income shocks. For an equilibrium of such a set of markets to be consistent with the optimal allocation c at which agents are insurance- and savings-constrained, mechanisms must exist to discourage over-insurance and over-saving. In the market arrangement that we formally de…ne in the next subsection, competitive intermediaries extend unsecured credit to the agents. Dischargeability of unsecured credit is regulated by rules akin to bankruptcy law. Under these rules, only low-income agents are eligible to receive discharge of their unsecured loans. The discharged loans have to be written o¤ by the intermediaries as losses. This makes for an implicit transfer from the intermediaries to the low-income agents. High-income agents, however, by design of the bankruptcy rules, are ineligible for discharge. They must repay the unsecured obligations with interest. Interest paid by the borrowers whose loans 1 8 The promise to repay embedded in a riskless claim is secured by an external enforcement mechanism. In this paper, we focus on private information as the only friction in the environment and thus assume that such an enforcement mechanism is available. We identify riskless claims with secured debt. 1 9 In the above, E denotes the expectation conditional on information available at the beginning of period t, i.e., t Et [U 0 (ct+1 )] is y t 1 -measurable. 12 are not discharged is the intermediaries’ pro…t, i.e., it makes for a transfer from the high-income agents to the intermediaries. The equilibrium interest rate on the unsecured loans (the default premium) is determined at the level at which the intermediaries break even (make zero pro…t). Thus, this pattern of unsecured borrowing and income-contingent discharge implements a transfer from the high-income agents to the low-income agents, i.e., provides insurance payments contingent on individual income realizations. In order for the intermediaries to break even, the probability of default on the unsecured loans has to be priced correctly. This probability, however, depends on the agents’e¤ort, which is private information and, thus, cannot be written into the unsecured loan contract. The intermediaries can break even and provide inexpensive unsecured credit (which maximizes the agents’ welfare) only if the amount of unsecured credit available to each agent is restricted su¢ ciently to avoid giving the agent an incentive to over-insure and expend low e¤ort. Thus, in equilibrium each agent can obtain unsecured credit only up to a limit. This limit is determined at the maximum level consistent with the agent’s expending high e¤ort. Under this limit, agents remain insurance-constrained in equilibrium, as they are at the optimal allocation c . The second failure of the riskless claims equilibrium (over-self-insurance) is resolved by designing the bankruptcy law in such a way that the bene…t of unsecured credit discharge is tied to not oversaving. Agents can freely save, i.e., they can accumulate wealth by buying riskless claims in any quantity they want and can a¤ord. Excessive amounts of wealth, however, cannot be retained by agents who seek discharge of their unsecured debt obligations in bankruptcy. This, e¤ectively, makes dischargeability of the nominally unsecured debt conditional on the debtor’s wealth in a way that reduces the bene…t of the bankruptcy option for over-savers. Agents are free to save, but they value the option of discharge. This mechanism, which is absent when only the riskless claims are traded, discourages over-saving. What exactly constitutes over-saving follows from the optimal amount of “savings” implicit in the optimal allocation c . 4.2 Unsecured credit markets and bankruptcy discharge conditions In this subsection, we lay out a market economy with unsecured credit and a formal institution of bankruptcy. The timing of interaction is as follows. 4.2.1 Market interaction in periods t The sequence of events within each period t T T is divided into three stages. Stage 1 Agents enter period t with bonds bt . Intermediaries o¤er unsecured credit to the agents. Agents make three decisions. They decide how much unsecured credit to take out with the intermediaries, and how to split the resources available to them between current consumption and savings, which they take into the second stage of interaction. Let ht 0 denote the amount of unsecured credit taken out. Resources bt + ht are split between consumption ct and savings st . The third decision agents take in stage 1 is their e¤ort decision xt 2 f0; 1g. 13 Unsecured credit is available to the agents as a loan o¤er extended by the intermediaries. This loan is short-term: it matures within the period, at stage 2, after agents produce period income yt . The amount ht of the unsecured loan that each agent takes out is publicly observable20 . A loan consists of an interest rate and a credit limit. The terms of the loan depend on the agent’s observable characteristics. The gross interest rate in period t, denoted by Rt;yt 1 (bt ), depends on last-period’s income yt 1 and wealth bt . Similarly, the unsecured credit limit in period t, denoted by ht;yt 1 (bt ), depends on agent’s yt 1 and past income data yt and bt . At the end of stage 1, an agent initially characterized by wealth bt 1 holds assets st = bt + ht ct , owes ht Rt;yt 1 (bt ) to the intermediaries, and has expended privately e¤ort xt 2 f0; 1g. Note that each agent simultaneously holds assets, st , and has liabilities, ht Rt;yt 1 . Hence, assets st are leveraged by debt ht Rt;yt 1 (in contrast to beginning-of-period wealth bt ). Stage 2 In the second stage within the period, individual income yt is realized and the unsecured loans ht are due repayment. At this stage, each agent chooses how to settle their unsecured debt obligation. There are, potentially, two options: to pay back, or to default and seek discharge in bankruptcy. Let dt 2 f0; 1g be the indicator of the decision to default in period t. What happens after default is regulated by a bankruptcy law, which is speci…ed as follows. First, there is a discharge eligibility condition ft , which speci…es that only low-income agents are eligible for discharge of debt in bankruptcy.21 By this condition, the repayment of high-income agents’unsecured loans will be enforced.22 Those with the low income realization yt = L t meet the eligibility condition ft . If they choose to not default, which is denoted by dt = 0, they repay the loan ht with interest (just like the high-income agents do), i.e., they pay ht Rt;yt 1 to the intermediaries. If they choose to default, which is denoted by dt = 1, the settlement of their obligations is handled (by a bankruptcy court) according to the rules speci…ed in the bankruptcy law. These rules are as follows. 1. The unsecured debt obligations of the bankrupt agent, ht Rt;yt 1 , are discharged. 2. All current and future income of the bankrupt agent is out of reach of the unsecured creditors (i.e., is exempt). 3. The assets held by the bankrupt agent, st , are exempt as well, up to a maximum st;y Any assets in excess of the exemption level st;y 1 (bt ). 1 (bt ) are seized from the bankrupt agent and used to (at least partially) repay the unsecured creditors. Under these rules, the discharged loans have to be written o¤ by the intermediaries as losses. Creditors exit stage 2 with income from the repaid loans and losses on the loans that were discharged. (In equilibrium, these pro…ts and losses will add up to zero). Agents who did not obtain discharge 2 0 Throughout the analysis, we assume that e¤ort is the only piece of information that is private. generally, discharge eligibility could be contingent on the whole history of the observable characteristics of an agent, which in our environment means everything but the history of e¤ort. We restrict attention to a simple current-income-based test for discharge eligibility because this test turns out to be su¢ cient in our environment. 2 2 From the outset, we have assumed that full enforcement of contracts is possible in the our moral hazard environment. 2 1 More 14 exit stage 2 with their current income yt and their savings st minus the amount ht Rt;yt 1 , which they must repay to the creditors. Those who obtained discharge exit stage 2 with their current income yt and their exempt assets given by the smaller of st and st;y 1, and with no unsecured debt obligations. Stage 3 At the third stage and …nal stage, agents use their post-settlement resources to purchase claims bt+1 , which will be their wealth entering period t + 1. 4.2.2 Market interaction in period T + 1 In the …nal period T + 1, the sequence of events is much simpler. Agents enter with wealth bT +1 . There is no e¤ort decision or income risk in this period. Claims bT +1 pay o¤ and agents consume. 4.2.3 Individual optimization problems Bankruptcy Code formalism In the model, the discharge eligibility condition is represented by the functions ft : functions st;yt 1 t ! f0; 1g. The bankruptcy asset exemption level is formally represented by the : R ! R. In this notation, ft (yt ) is the bankruptcy eligibility indicator for an agent whose income in period t is yt . The value st;yt 1 (bt ) represents the exemption level, i.e., the amount of assets st that an agent can shield from his creditors in bankruptcy. Note that the exemption level depends on beginning-of-period wealth bt , as well as on income from the previous period, yt We will refer to st;yt 1 (bt ) as the exemption level for type (yt 23 1. 1 ; bt ). T Agents’ problem Agents take as given the riskless bond prices fqt gt=1 , the unsecured loans pricing and credit limit schedules f Rt;yt 1 ; ht;yt fft ; st;yt 1 yt 12 t imization problem: 1 1 yt 12 t 1 gTt=1 , and the rules of bankruptcy gTt=1 . Given an initial wealth b1 , an agent solves the following recursive max- Wt;yt 1 (bt ) = max Vt (x) + U (c) + x;c;h;s; d(yt );b0 (yt ) X yt 2 t;yt t 1 (yt jx)Wt+1;yt (b0 (yt )) subject to the budget constraints 0 h ht;yt 1 (bt ); (16) c + s = bt + h; (17) d(yt ) f0; 1g ; (18) d(yt ) ft (yt ); (19) qt b0 (yt ) = yt + s 2 (1 d(yt ))hRt;yt 1 (bt ) d(yt ) maxfs st;yt 1 (bt ); 0g; (20) 2 3 Similar to discharge eligibility, the exemption level could be in our model a function of the whole history of agents’ observable characteristics. We restrict attention to the dependence of the exemption level in period t on yt 1 and bt . 15 for t T ; with WT +1;yT (bT +1 ) = max UT +1 (c): c bT +1 In the above problem, d(yt ) is the indicator of the agent’s decision to go bankrupt in income state yt . The budget constraint (20) incorporates the consequences of this decision. If d(yt ) = 1, which by (19) is only feasible if ft (yt ) = 1, then hRt;yt seized (if s 1 is discharged and non-exempt assets s st;yt 1 are st;yt 1 , the amount seized is zero). If the agent does not go bankrupt, i.e., if d(yt ) = 0, which by (19) is always feasible because ft 0 qt b (yt ) = yt + s 0, then (20) reduces to the standard budget constraint hRt;yt 1 (bt ). Importantly, agents cannot conceal income yt or wealth bt or st . This assumption is consistent with the moral hazard environment we study in this paper, in which agents’ e¤ort is the only piece of private information, and all other variables and parameters of the environment are publicly observable. For any t T and yt 1 2 t 1 and wealth bt , we will denote the agents’ individually opti- mal policies for e¤ort, consumption, unsecured borrowing, intra-period savings, default, and next period wealth, i.e., the policies that attain the utility value Wt;yt 1 (bt ) by, respectively, xt;yt 1 (bt ), ct;yt 1 (bt ), ht;yt 1 (bt ), st;yt 1 (bt ), dt;yt 1 (bt ; yt ), bt+1;yt 1 (bt ; yt ). Also, by cT +1;yT (bT +1 ) we will denote the consumption policy that attains WT +1;yT (bT +1 ). Unsecured lenders’problem Following Dubey, Geanakoplos and Shubik (2005), we model unsecured credit markets as perfectly competitive. In this model, lenders take the terms of the unsecured loan contacts as given. An unsecured loan o¤er extended to an agent whose last period’s income is yt 1 and whose wealth is bt will be referred to as loans of type (yt 1 ; bt ). The lenders take as given the following characteristics of an unsecured loan of type (yt Rt;yt 1 (bt ), the credit limit ht;yt 1 (bt ), the expected loan demand e (bt ), and the expected principal recovery rate rate Dt;y t 1 The expected pro…t on a loan of type (yt e yt 1 ;bt = 1 + (1 e t;yt 1 1 ; bt ): the gross interest rate e ht;yt 1 (bt ), the expected default (bt ) on the loans in default. 1 ; bt ) is given by e e Dt;y (bt ))Rt;yt 1 (bt ) + Dt;y (bt ) t 1 t 1 e t;yt 1 (bt ) het;yt 1 (bt ): In equilibrium, lenders’expectations are correct and thus the (ex ante) expected pro…t equals the actually realized (ex post) pro…t on a fully diversi…ed portfolio of unsecured loans of type (yt 1 ; bt ). We assume that intermediaries diversify, i.e., each lender holds a portfolio of loans made out to a non-zero mass of consumers of type (yt of a type (yt 1 ; bt ) 1 ; bt ). Investing in a fully diversi…ed portfolio of loans is a constant returns to scale activity. With constant returns to scale, free entry into unsecured lending implies that equilibrium pro…ts must be zero. Since in equilibrium the intermediaries make zero pro…ts on each type of loan in every period, the number of intermediaries operating in equilibrium is indeterminate. It is important to note that the credit limit ht;yt 1 (bt ) applies to the total amount of unsecured credit that an agent of type (yt 1 ; bt ) can take out with the whole unsecured lending industry. Here, as in Dubey, Geanakoplos and Shubik (2005), we assume here that the intermediaries can take the enforcement of this credit limit as a given. 16 In our formulation of the lenders’problem, the lenders take the terms of the unsecured loan contracts as given, i.e., market-determined. We do not model explicitly the process in which these terms are derived. It is worth pointing out, however, that our results do not depend on the assumption of perfect competition in unsecured lending. Khan and Mookherjee (1995) study a strategic contracting game in which …nancial intermediaries o¤er (non-exclusive) insurance contracts to an agent whose income is subject to risk in‡uenced by his private e¤ort. They show that the (constraint) optimal allocation emerges as an equilibrium outcome of this interaction. This result can be easily adapted to the moral hazard environment with observable trades that we study in this paper.24 Therefore, our implementation of the optimal allocation in a set of competitive unsecured credit markets and bankruptcy does not depend on the assumption of perfect competition in unsecured lending. 4.3 Equilibrium De…nition 1 Given an initial distribution of wealth T , the riskless bond prices fqt gt=1 , and the rules gTt=1 ; recursive competitive equilibrium with bank^ t;y , ruptcy consists of the consumers’ value functions Wt;yt 1 and individual policies x ^t;yt 1 , h t 1 c^t;yt 1 , s^t;yt 1 , d^t;yt 1 , ^bt+1;yt 1 , one for every t T and yt 1 2 t 1 , the value functions WT +1;yT of bankruptcy (f; s) = fft ; st;yt and policies c^T +1;yT for yT 2 1 yt T, 12 t 1 interest rates and credit limits f Rt;yt 1 ; ht;yt 1 yt 12 t 1 gTt=1 on e the unsecured loans, expected loan demand functions het;yt 1 ,expected default rate functions Dt;y , t 1 and recovery rate functions e t;yt 1 for every t T and yt 1 2 t 1, such that 1. the value functions and individual policies solve the agents’ problem; 2. intermediaries’ pro…ts on every loan type are zero, i.e., e yt for all t; yt 1 ;bt =0 1 ; bt ; 3. expectations are correct, i.e., ^ t;y (bt ); = h t 1 X (bt ) = xt;yt 1 (bt ))d^t;yt 1 (bt ); t;yt 1 (yt j^ 1 het;yt 1 (bt ) e Dt;y t yt 2 e t;yt for all t; yt 1 (bt ) = t maxf^ st;yt 1 (bt ) st;yt 1 (bt ); 0g ^ t;y (bt ) h t 1 if ^ t;y (bt ) > 0; h t 1 1 ; bt . Let E(f; s; ) denote the set of objects that constitute a recursive equilibrium under the bank- ruptcy rules (f; s) and the initial wealth distribution . An equilibrium allocation is an assignment of an individual consumption plan c and an individual e¤ort plan x to each initial wealth value 2 4 In such an extensive-form decentralization of the competitive equilibrium concept that we use herein, the terms of the unsecured loan contracts would be determined explicitly as a subgame perfect Nash equilibrium outcome. 17 ^ ) = (^ 2 S( ). Equilibrium allocations will be denoted by A( c( ); x ^( )) 2S( ) . A given recursive ^ equilibrium E(f; s; ) de…nes an equilibrium allocation A( ) as follows. Let ^b = (^b1 ; :::; ^bT +1 ), where t 1 ^bt : R ! R, denote the equilibrium wealth process given by the solution to the di¤erence equations bt+1 = ^bt+1;yt 1 (bt ; yt ) with the initial value ^b1 = .25 For any consumption plan c^( ) is given by c^t ( ; y t for all t and y t 1 t 1 2 4.4 T and y t 1 2 ) = c^t;yt 1 (bt ( ; y t 1 )) , and the individual e¤ort plan x ^( ) is given by x ^t ( ; y t for all t 1 2 S( ), the individual t 1 1 )=x ^t;yt 1 (bt ( ; y t 1 )) . Implementation We now formally de…ne implementation. Our de…nition is similar to the one used in Albanesi and Sleet (2006). Recall from Section 2 that A ( ) = (c (!); x (!))!2S( ) denotes an e¢ cient allocation that attains the minimum cost of provision of the initial distribution of promised utility Let : R ! R be a measurable function assigning initial wealth !, i.e., for all ! 2 S( ) we have (!) = . For a given distribution of promised utility a distribution of wealth , C1 ( ). to each initial promised utility , induces 26 that we will denote by ( ). De…nition 2 We say that a bankruptcy code (f; s) and an initial wealth assignment function implement an e¢ cient allocation A ( ) if there exists a recursive competitive equilibrium with ^ ( )) coincides with the optimal bankruptcy E(f; s; ( )) such that the equilibrium allocation A( allocation A ( ), i.e., for all ! 2 S( ) x ^( (!)) = x (!); (21) c^( (!)) = c (!): (22) Note that the conditions (21) and (22) imply that Z S( ) Ex^( T +1 X (!)) [ t=1 t 1 s=1 qs f^ ct ( (!)) yt (!)g] (d!) = C1 ( ); ^ ( )) is equal to the minimum i.e., the amount of resources used by the equilibrium allocation A( C1 ( ). clarify the notation, bt+1 is generic notation for wealth at the beginning of period t + 1, ^bt+1;yt 1 (bt ; yt ) is an optimal policy function in the consumer utility maximization problem, and ^bt+1 (!; y t ) is the value of the equilibrium wealth process generated from the initial wealth and the sequential application of policy functions ^bt+1;yt 1 (bt ; yt ) along the history y t . 1 2 6 By de…nition, for any measurable set of wealth levels S, ( )(S) = ( (S)). 2 5 To 18 Theorem 1 There exists a bankruptcy code (f; s) and a wealth assignment e¢ cient allocation A ( ) under any distribution of initial utility is attained by the code (f; s) and the function ft (yt ) = for t ( that implement the . In particular, implementation given as follows. The code (f; s) is given by 1 if yt = 0 if yt = L t H t ; (23) T , and st;yt 1 ( ) = qt Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 ( ); for t T and yt and wt+1;yt 1 1 2 t 1, L t )) L t ; (24) where Bt+1;yt is the component planning cost function at (t; yt 1 ), is the continuation utility policy function from this component planning problem. The wealth assignment function is given by = B1;y0 : (25) The optimal bankruptcy eligibility condition (23) states simply that only low-income agents are eligible for bankruptcy discharge. The optimal asset exemption level, given in (24), is determined by the solutions to the component planning problems.27 As in the implementation of Albanesi and Sleet (2006), the optimal wealth assignment function endows each agent of type ! with initial wealth b1 = B1;y0 (!), i.e., with initial resources equal to the minimum cost of the component planner at date t = 1 to deliver promised utility !. 4.5 Proof of Theorem 1 We prove this theorem using backward induction. The …rst step is the following lemma. Lemma 2 For both yT 2 T, 1 WT +1;yT = BT +1;y : T Moreover, the equilibrium individual policy c^T +1;yT satis…es 1 c^T +1;yT ( ) = CT +1 (uT +1;yT (BT +1;y ( ))) T for yT 2 T. Proof In Appendix. The inductive step is given by the following proposition. Proposition 2 Fix t if T and yt 1 2 t 1. Under bankruptcy rules (ft ; st;yt 1 ) given in (23)-(24), 1 Wt+1;yt = Bt+1;y ; t 2 7 In the next section, we provide a closer characterization of functions st;yt 19 (26) 1 . for both yt 2 t, then Wt;yt 1 = Bt;y1t 1 : Moreover, equilibrium individual policies x ^t;yt 1 , c^t;yt 1 , ^bt+1;yt x ^t;yt 1 ( ) = Xt (vt;yt 1 (Bt;y1t 1 ( ))); (27) c^t;yt 1 ( ) = C(ut;yt 1 (Bt;y1t 1 ( ))); (28) ^bt+1;y ( ; yt ) t 1 for yt 2 satisfy 1 = Bt+1;yt (wt+1;yt (Bt;y1t 1 1 ( ); yt )); (29) t. Proof of Theorem 1 follows from Lemma 2 and Proposition 2. First, Lemma 2 and Proposition 2 imply that Wt;yt 1 = Bt;y1t 1 for all t = 1; :::; T + 1 and yt 1 2 t 1 . Note now that applying Proposition 2 at t = 1, we have ^ ( )) satis…es that equilibrium allocation A( x ^1 ( (!); y0 ) = x1 (!; y0 ); c^1 ( (!); y0 ) = c1 (!; y0 ); and that the equilibrium wealth process ^b satis…es ^b1 = (!) and, for any y1 2 ^b2 ( (!); y 1 ) 1, = ^b2;y0 (^b1 ; y1 ) 1 = B2;y1 (w2;y0 ( (^b1 ); y1 )) = B2;y1 (w2 (!; y 1 )) for all ! 2 S( ), where the last line follows from de…nition of the continuation utility process w. Similarly, applying Proposition 2 repeatedly at dates t = 2; :::; T we get that the equilibrium allocation coincides with the optimum x ^t ( (!); y t c^t ( (!); y 1 t 1 ) ) = xt (!; y t = ct (!; y 1 t 1 ); ); at these dates, and the equilibrium wealth process ^b coincides with the component planner cost functions evaluated at the continuation value process w , i.e., for any ! 2 S( ), t ^bt+1 ( (!); y t ) = ^bt+1;yt 1 (^bt ( (!); y t 1 ); yt ) = Bt+1;yt (wt+1;yt 1 (Bt;y1t 1 (^bt ( (!); y t = Bt+1;yt (wt+1;yt 1 (wt (!; y t t = Bt+1;yt 1 (wt+1 (!; y )): 20 1 ); yt )) 1 )); yt )) T and y t 2 t In particular, at t = T , we have T ^bT +1 ( (!); y T ) = BT +1;y (w T +1 (!; y )) T for all ! 2 S( ) and y T 2 T . Lemma 2 implies now that c^T ( (!); y T ) = cT (!; y T ) for all ! 2 S( ) and y T 2 T ^ ( )) and A ( ) coincide. . Thus, allocations A( It order to complete the proof of Theorem 1, we need to prove Proposition 2, which provides the key argument of our implementation result. Proof of Proposition 2 The proof is constructive. We specify a set of prices, credit limits, expected credit usage, default, and recovery rates for unsecured loans, as well as consumer borrowing, saving, e¤ort, consumption and default policies and verify that these objects are consistent with equilibrium under the assumed consumers’continuation value functions Wt+1;yt given in (26). For a loan type (yt 1 ; bt ), the gross interest rate is given by Rt;yt 1 (bt ) = 1= t;yt 1 ( H t j1); (30) and the credit limit is ht;yt 1 (bt ) = C(ut;yt 1 (Bt;y1 1 (bt ))) + st;yt 1 (bt ) bt : (31) The expected credit usage, default, and recovery rates are given by, respectively, het;yt 1 (bt ) e Dt;y (bt ) t 1 e t;yt 1 (bt ) = ht;yt 1 (bt ); = t;yt = 1 ( L t j1); 0: The proposed equilibrium consumer policies are as follows: e¤ort x ^t;yt c^t;yt 1 1 as in (27), consumption as in (28), the unsecured borrowing and saving policies given by, respectively, ^ t;y (bt ) h t 1 = c^t;yt 1 (bt ) + st;yt 1 (bt ) s^t;yt 1 (bt ) = st;yt 1 (bt ); for any bt . The consumer default policy given by d^t;yt 1 (bt ; H t ) = 0; d^t;yt 1 (bt ; L t ) = 1; and claims purchases ^bt+1;yt 1 (bt ; yt ) as given in (29). 21 bt ; We need to show that the proposed equilibrium loan terms and consumer policies, and expectations are consistent with the three equilibrium conditions of De…nition 1. We start with the expectation consistency conditions. Substituting the proposed equilibrium consumers’policies, we directly obtain, for any bt , = C(ut;yt 1 (Bt;y1 1 (bt ))) + st;yt 1 (bt ) het;yt 1 (bt ) = c^t;yt 1 (bt ) + st;yt 1 (bt ) bt bt ^ t;y (bt ); = h t 1 and e Dt;y (bt ) t 1 = = t;yt 1 ( L t t;yt 1 ( L t X = yt 2 j1) j1)1 + t;yt 1 t t;yt 1 ( H t j1)0 (yt j^ xt;yt 1 (bt ))d^t;yt 1 (bt ); which means that the loan demand and default rate expectations are consistent with the proposed equilibrium agent behavior. Also, under the exemption rule st;yt assets seized in equilibrium in bankruptcy from debtors of type yt max s^t;yt 1 (bt ) st;yt 1 (bt ); 0 which means that the recovery rate expectation 1 1 ; bt = max st;yt 1 (bt ) = 0; e t;yt 1 given in (24), the amount of is st;yt 1 (bt ); 0 (bt ) = 0 is consistent with agents’equilibrium behavior, as well. Checking the zero-pro…t condition for loans of type (yt e yt 1 ;bt = 1 + (1 = 1 + (1 1 ; bt ), we get e e Dt;y (bt ))Rt;yt 1 (bt ) + Dt;y (bt ) t 1 t 1 t;yt 1 ( L t j1))= = ( 1 + 1 + 0) het;yt 1 (bt ) = 0: t;yt 1 ( H t e t;yt 1 (bt ) het;yt 1 (bt ) j1) + 0 het;yt 1 (bt ) What remains to be shown is that the proposed agents’ behavior policies are consistent with agents’ utility maximization under the continuation value functions (26), unsecured debt pricing schedules (30) and bankruptcy rules (ft ; st ) given in (23)-(24). We …rst demonstrate that the proposed behavior is budget-feasible. Straightforward substitution of the proposed equilibrium policies to the budget constraints (16)-(20) shows this directly, except ^ t;y (bt ) 0. Under the proposed equilibrium behavior, we have for the requirement h t 1 1 ^ t;y (bt ) = C(u h t;yt 1 (Bt;y 1 (bt ))) t 1 L t + qt Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); 22 L t )) bt for any bt . That the expression on the right-hand side of this equality is positive follows from the fact that, at the solution to the component planning problem, a positive amount of resources is delivered to the low-income agents in period t. To see this, note that since (by de…nition) X C(ut;yt 1 (wt )) + yt 2 t;yt t 1 (yt j1)f yt + qt Bt+1;yt (wt+1;yt 1 (wt ; yt ))g Bt;yt 1 (wt ) = 0; (32) inequality (9) implies C(ut;yt 1 (wt )) ^ t;y for all wt , i.e., h t 1 L t + qt Bt+1; Lt (wt+1;yt 1 (wt ; L t )) Bt;yt 1 (wt ) 0; 0. We must show that the proposed choices, in addition to being budget-feasible, are in fact optimal in the utility maximization problem, i.e., that there does not exist a budget feasible plan that yields more utility than the proposed equilibrium policies. The standard argument for showing that would examine the …rst-order conditions (FOC) of this problem. The maximization problem at hand, however, has a non-convex budget set. We handle the non-convexity in the following way: we divide the budget set into several subsets, each of which is given by linear inequalities. The problem of overall utility maximization is split into the several problems of maximization over the convex subsets. In each of these subsets, we use the standard FOC-based argument. The proposed equilibrium behavior dominates the solutions to each of the sub-problems, and thus it is an overall solution to the utility maximization problem. We start out by examining the set of default plans available to the agents. Under the eligibility rule (23) the choice d( H t ) = 1 is not budget-feasible. Thus, there are only two budget-feasible default plans for agents of all wealth levels bt : (d( H L t ); d( t )) = (0; 0) (33) (d( H L t ); d( t )) = (0; 1): (34) and The default premium, i.e., the fact that Rt;yt 1 (bt ) > 1, implies that if d( L t ) = 0, then h = 0, i.e., if an agent plans to never default, borrowing in the unsecured instrument is suboptimal. To see this, note that under the no-default plan (33), the budget constraints (16)-(20) reduce to c + s = bt + h; qt b0 (yt ) for yt 2 t. = yt + s hRt;yt 1 (bt ); Given that agents’continuation value Wt+1;yt is strictly increasing in b0 (yt ), any choice of c, s, h and b0 (yt ), such that h > 0 is strictly dominated by the feasible choice c~ = c, s~ = s 23 h, ~ = 0, and h ~b0 (yt ) = qt 1 (yt + s~) = qt 1 (yt + s > h) qt 1 (yt + s Rt;yt 1 (h; bt )h) 0 = b (yt ) for yt 2 t. We thus have that, under the proposed equilibrium pricing, the best allocation that agents can individually obtain using the no-default plan (33) coincides with the best allocation they obtain under self-insurance. Given that self-insurance is ine¢ cient in the environment at hand, the proposed equilibrium allocation dominates any individual plan that does not involve default in the low income state. Thus, no such plan can deliver higher individual utility than that delivered at the optimum. We now consider deviations from the proposed equilibrium behavior under the other feasible default plan (34). We prove the following lemma. Lemma 3 At any t T , for any bt and yt 2 1 t 1, under the proposed equilibrium prices, credit limits and bankruptcy rules, conditional on the default plan (34) and high e¤ ort xt = 1, the proposed ^ t;y ; s^t;y ; ^bt+1;y equilibrium policies c^t;yt 1 ; h solve the consumer utility maximization problem. t 1 t 1 t 1 Proof In Appendix. The next lemma shows that the same conclusion is true under low e¤ort xt = 0. Lemma 4 At any t T , for any bt and yt 2 1 t 1, under the proposed equilibrium prices, credit limits and bankruptcy rules, conditional on the default plan (34) and low e¤ ort xt = 0, the proposed ^ t;y ; s^t;y ; ^bt+1;y equilibrium policies c^t;yt 1 ; h solve the consumer utility maximization problem. t 1 t 1 t 1 Proof In Appendix. By Lemma 3 and Lemma 4, we have that agents …nd it optimal to follow the same policies ^ t;y ; s^t;y ; ^bt+1;y c^t;yt 1 ; h under either e¤ort choice xt 2 f0; 1g, where c^t;yt 1 satis…es (28) and t 1 t 1 t 1 ^bt+1;y satis…es (29). Thus, the value Wt;y (bt ) of the utility maximization problem is given by t 1 t 1 X Wt;yt 1 (bt ) = max Vt (xt ) + U (^ ct;yt 1 (bt )) + xt 2f0;1g yt 2 t;yt t 1 (yt jxt )Wt+1;yt (^bt+1;yt (bt ; yt )): (36) From (26) and (29), we have that Wt+1;yt (^bt+1;yt (bt ; yt )) = wt+1;yt 1 (Bt;y1t 1 (bt ); yt ). From (28) and the de…nition of C, we have U (^ ct;yt 1 (bt )) = ut;yt 1 (Bt;y1t 1 (bt )). Substituting into (36), we have Wt;yt 1 (bt ) = max vt 2fVt (0);Vt (1)g = Vt (1) + ut;yt X vt + ut;yt 1 (Bt;y1t 1 (bt )) + (Bt;y1t 1 1 (bt )) + X yt 2 yt 2 t;yt t 1 t;yt t 1 (yt jXt (vt ))wt+1;yt 1 (Bt;y1t 1 (bt )) (yt j1)wt+1;yt 1 (Bt;y1t 1 (bt ); yt ); (37) where the last line follows from the fact that the recommendation vt;yt 1 (wt ) = Vt (1) is an optimal policy in the component planning problem, i.e., the recommendation vt;yt 24 1 and the continuation utility policy wt+1;yt Bt;y1t 1 1 satisfy the TIC constraint (4) of this problem. Finally, that Wt;yt 1 (bt ) = (bt ) for every bt follows from (37) and the fact that the solution to the component planning problem, vt;yt 1 (wt ) = Vt (1), ut;yt 1 (wt ), wt+1;yt 1 (wt ; yt ), satis…es the PK constraint (5) of this problem for every wt . A key step in the proof of this implementation result is checking that the socially optimal allocation A is consistent with agents’individual utility maximization in the market economy. The optimal allocation is determined by the solutions to component planning problems, in which the planner directly controls everything but agent’s private e¤ort. By Proposition 1, at the socially optimal allocation agents are insurance- and savings-constrained. In our market economy, agents have much freedom in choosing their insurance and savings levels through their trades in the riskless claims markets, their unsecured borrowing, and bankruptcy decisions. Why do the agents not …nd it individually optimal to trade away from the socially optimal allocation? First, consider the insurance wedge given in (13) and (14). In the market economy with unsecured credit and bankruptcy, agents’access to insurance is restricted by the unsecured credit limit ht;yt 1 and the bankruptcy asset exemption level st;yt 1 . Inequality (13) implies that agents would like to deviate from the optimal allocation by selling contingent claims to their income in the high state H t . yt = The credit limit ht;yt 1 makes such a sale infeasible, i.e., outside the budget set faced by the agents the market economy. Inequality (14) implies that agents would like to trade away from the optimal allocation by buying a claim that would pay o¤ in their low income state yt = L t . Conditional on an agent’s plan to obtain bankruptcy discharge in the low income state, however, this trade is not in the budget set, either. Saving more than the asset exemption level st;yt 1 and going into bankruptcy in the low income state does not increase the agent’s post-settlement resources in this state because savings in excess of the exemption level st;yt 1 are seized from the agent.28 The same mechanisms makes the savings wedge (15) consistent with agents’individual optimization in the market economy. The optimal bankruptcy rules provide a disincentive to save via the exemption cap st;yt 1 . Note that agents do have the option to not subject themselves to the savings restriction st;yt 1 by never going into bankruptcy. This plan of action, however, is suboptimal, as it eliminates the bene…t of insurance that bankruptcy provides to the agents. As Lemma 4 demonstrates, the unsecured credit limit ht;yt level st;yt 1 1 and the bankruptcy asset exemption not only discourage deviations from the optimum in asset market trades but also the so-called joint deviations in which agents simultaneously adjust their asset market trades and private e¤ort. In fact, an agent’s deviation to low e¤ort xt = 0 increases his demand for insurance against the low income shock yt = cap st;yt 1 L t . It is thus intuitive that if the credit limit ht;yt 1 and the exemption prevent a deviation in asset trades under high e¤ort, the more so they do under low e¤ort. 2 8 Note that the exemption cap st;yt 1 can be imposed because agents cannot conceal their assets in our environment, in which all parameters and variables but e¤ort are publicly observable. 25 5 History dependence through wealth In this section, we examine how the optimal exemption level st;yt 1 (bt ) and the unsecured credit limit ht;yt 1 (bt ) depend on wealth bt . Proposition 3 For any t T and yt 1 2 t 1, the optimal exemption level st;yt 1 (bt ) is strictly increasing in wealth bt at a rate strictly smaller that one. The equilibrium unsecured credit limit ht;yt 1 (bt ) is strictly decreasing in bt . Proof The optimal exemption level is de…ned in (24) as st;yt 1 (bt ) = qt Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); Since Bt;yt 1 L t )) L t : L t ) is strictly increasing, so is Bt;y1t 1 . By Lemma 1, wt+1;yt 1 (wt ; in wt . Thus, since Bt+1; L t is strictly increasing is strictly increasing, we have that Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); L t )) is strictly increasing in bt . Using (24), the expression for the equilibrium credit limit (31) can be rewritten as follows ht;yt 1 (bt ) = C(ut;yt 1 (Bt;y1 1 (bt ))) + qt Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); L t )) L t bt : From (32), we have C(ut;yt 1 (Bt;y1 1 (bt ))) = bt X yt 2 t;yt t 1 (yt j1)f yt + qt Bt+1;yt (wt+1;yt 1 (Bt;y1 1 (bt ); yt ))g; thus ht;yt 1 (bt ) = + qt Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); L t )) X 1 t;yt 1 (yt j1)f yt + qt Bt+1;yt (wt+1;yt 1 (Bt;y 1 (bt ); yt ))g L t yt 2 = t;yt H t t 1 ( H t j1) L t + qt [Bt+1; Lt (wt+1;yt 1 (Bt;y1t 1 (bt ); L t )) Bt+1; H t That ht;yt 1 (bt ) is strictly decreasing follows now from the fact that Bt;y1t (wt+1;yt 1 (Bt;y1t 1 (bt ); 1 H t ))] is strictly increasing, (44) and (11). To show that the rate at which st;yt 1 (bt ) increases in bt is strictly less than one, we write (31) as ht;yt 1 (bt ) C(ut;yt 1 (Bt;y1 1 (bt ))) = st;yt 1 (bt ) bt for all bt . Since C(ut;yt 1 (Bt;y1 1 (bt ))) is increasing in bt , the left-hand side of this identity is strictly decreasing in bt . So must be the right-hand side. The dependence of the optimal exemption level and equilibrium credit limit on wealth follows from the underlying incentive problem quite intuitively. The exception level st;yt 1 (bt ) restricts, and in equilibrium determines, the amount of wealth that an agent of type (yt 26 1 ; bt ) can take into : period t + 1 following the low income realization yt = L t . Since it is e¢ cient in the component planning problem to intertemporally smooth the provision of the continuation value to the agent, the optimal continuation value process is persistent. In the market economy, wealth bt tracts each agent’s continuation value. Thus, wealth must be persistent in equilibrium, i.e., for each realization of current income yt , wealth taken into period t + 1 is increasing with wealth held at the beginning of period t . In particular, it is increasing for yt = L t , and thus st;yt 1 (bt ) must be increasing in bt . That ht;yt 1 (bt ) is strictly decreasing in wealth bt follows from the decreasing marginal utility of wealth and the need to provide an incentive to exert e¤ort. High e¤ort at date t carries the same disutility Vt (1) Vt (0) for agents of all wealth levels bt . Because agents’value functions are strictly concave, richer agents have lower marginal utility of wealth. For richer agents, therefore, it takes more spreading in the equilibrium wealth process to provide a given amount of spreading in their continuation value process. Thus, in order to provide enough incentives for the agents to choose to incur the high e¤ort disutility Vt (1) Vt (0), less insurance against the individual income shock in period t is optimally provided to agents with higher wealth bt . In equilibrium, agents obtain insurance through unsecured borrowing and discharge. Thus, the amount of unsecured credit available to richer agents is decreasing with wealth bt . 6 Isolating the e¤ects of moral hazard In this section, we isolate those features of the optimal bankruptcy code and the unsecured credit arrangement that are due to moral hazard. To this end, we consider a full-information version of our environment. The e¢ cient allocation of the full-information environment, similar to the optimum of the moral hazard environment, can be implemented as an equilibrium outcome of an unsecured credit market economy with debt discharge regulated by a bankruptcy code. In particular, the fullinformation optimum can be implemented in a market arrangement in which agents face no unsecured credit limit, and bankruptcy provides unlimited asset exemption to all bankruptcy-eligible agents. The associated eligibility condition, however, is more stringent, as eligibility is determined on the basis of both income and e¤ort. 6.1 E¢ ciency with full information Under full information, an allocation A = (c(!); x(!))!2 is e¢ cient if it delivers the initial distribution of promised utility C1A ( , and if it minimizes, among all allocations that deliver , the net cost ) given in (3). Note that the incentive compatibility requirement is absent from this de…nition. Let A ( ) = (c (!); x (!))!2 denote the full-information optimum, and let C1 (!) denote the !-component of the minimized cost objective. It is a standard result that A satis…es the following optimality condition U 0 (ct+1 (!; (y t for any ! 2 S( ), t T , and y t 1 2 t 1 1 ; yt ))) = qt U 0 (ct (!; y t and yt 2 1 )) . At A , therefore, agents are fully insured and their intertemporal consumption pro…les are fully smoothed, i.e., agents are neither savings- nor 27 borrowing-constrained. (Compare this with Proposition 1 in the moral hazard case.) As before, we will assume that high e¤ort is optimal at all dates and states. 6.2 Unsecured credit market implementation Consider now the market economy de…ned in Section 4.2, in which agents trade secured (riskless) bonds and take out unsecured loans with competitive …nancial intermediaries. In this economy, let us specify the bankruptcy rules (f; s) as follows. Let the eligibility condition ft be given by ft (xt ; yt ) = for t ( L t 1 if yt = 0 otherwise and xt = 1; (38) T . Note that e¤ort xt , which now is publicly observable, is an argument of ft . Also, set the asset exemption level st;yt 1 (bt ) equal to plus in…nity for all t, yt 1 and bt (i.e., eliminate the possibility of seizure of assets). Under these bankruptcy rules, the unsecured debts of all lowincome, high-e¤ort agents are dischargeable, and all assets held by a bankrupt agent, in addition to his current and future income, are exempt from creditors’claims. Following the steps of the proof of Theorem 1, it is straightforward to verify that these bankruptcy rules constitute an optimal bankruptcy code in the full-information economy. In particular, under the above bankruptcy rules and with the initial assignment of wealth = C1 , an equilibrium exists in which the unsecured credit limit ht:yt 1 (bt ) is plus in…nity for all all t, yt 1 and bt , and the gross interest rate on the unsecured loans available to the consumers is given by, as in (30), Rt;yt = 1= t;yt 1 ( H t j1). In equilibrium, the size of the unsecured loan h taken out by an agent L ^ t;y who faces the rate Rt;yt 1 is h =( H t )=Rt;yt 1 , independently of wealth bt . The discharge t t 1 1 eligibility condition (38) is su¢ cient to induce high e¤ort. If an agent decides to exert low e¤ort, it is optimal for him to borrow h = 0 because he will not be able to discharge h and Rt;yt 1 > 1. With low e¤ort, thus, the best an agent can do is to self-insure. This strategy, however, is dominated by the equilibrium strategy, because self-insurance is ine¢ cient. 6.3 Comparing moral hazard and full information Unsecured credit markets and bankruptcy can be used to implement optimal social insurance in a full information economy as well as in the economy with moral hazard. The results of the last subsection demonstrate that unsecured credit limits and bounded bankruptcy asset exemptions are inessential under full information. Both of these are essential, however, in the moral hazard economy, as follows from our proof of Theorem 1. Also, it is easy to show that conditioning on e¤ort is essential in implementation of the full-information optimum A . Theorem 1 shows that such conditioning is not needed in market implementation of the constrained optimum A under moral hazard. In our model, therefore, moral hazard necessitates credit limits and bankruptcy asset exemption caps. This result suggests that moral hazard may explain why credit limits and bankruptcy exemption caps are observed in real-life unsecured consumer credit markets and bankruptcy arrangements. 28 7 Discussion of positive properties In this paper, we use an abstract, stylized environment to study normative implications of dynamic moral hazard for the structure of unsecured credit markets and personal bankruptcy. Thus, we develop a normative, e¢ ciency-based theory of unsecured consumer credit and bankruptcy. It must be emphasized that our model was not designed to replicate any particular set of facts about the structure of actual credit markets or bankruptcy laws functioning in any given country. Nevertheless, it is useful to examine the outcome of our normative analysis from a positive perspective. The objective of this section is to discuss the similarities and dissimilarities between the normative prescriptions of the model and the data in order to explore both the limitations of the model and the possibilities for identifying potential ine¢ ciencies in the design of the observed institutions. In the …rst subsection, we compare the basic structure of the credit market and bankruptcy arrangement obtained in our normative model with the basic structure of the institutions currently functioning in the United States. We conclude that these structures are remarkably similar. We take this similarity as evidence in support of the main hypothesis of this paper: the institution of personal bankruptcy is an insurance mechanism (against the risk of idiosyncratic income loss) and moral hazard is an important force shaping this institution. In the second subsection, we look beyond the basic structure of the model. Several of the additional qualitative features of the model highlight dimensions on which our analysis could be extended as well as suggest directions that can be taken in thinking about potential policy improvements. 7.1 Basic structure The structure of the unsecured credit market obtained in our model has the following four basic characteristics: 1. Default and bankruptcy discharge of unsecured debt occur in equilibrium. 2. Consumers borrow unsecurely at high interest rates and, simultaneously, hold low-yielding liquid assets, which could be used to reduce or eliminate their unsecured debt. Consumers face limits on the amount of unsecured credit they can obtain. 3. Lenders have information about all unsecured loans that their borrowers obtain from other lenders. Lenders write o¤ loans discharged in bankruptcy as losses. 4. The unsecured lending sector is competitive. These four properties are well documented in the U.S. data. At a general level, they are broadly consistent with the stylized facts provided in Chatterjee et al. (2007). More particularly, Gropp, Scholz and White (1997) and Sullivan, Warren and Westbrook (2000) present data on the prevalence of unsecured consumer credit and personal bankruptcy in the United States. The fact that a large number of credit card borrowers hold liquid assets in signi…cant quantities is sometimes referred to as the credit card puzzle. This fact is documented in, e.g., Gross and Souleles (2001).29 Pagano and 2 9 See also Telyukova (2006) and Telyukova and Wright (2008). 29 Jappelli (1993) and Hunt (2003) describe the structure of consumer credit reporting in the United States. Clearly, U.S. households do not borrow anonymously. When making credit award decisions, lenders have a great deal of knowledge about the prospective borrower’s debts outstanding with other lenders. Evans and Schmalensee (2005) document competition in credit card lending in the United States. The optimal bankruptcy rules obtained in our model have the following three basic properties: 1. Bankruptcy discharges unsecured debt obligations. 2. Bankruptcy rules provide limited asset exemptions for debtors obtaining discharge. In addition to the exempt assets, all current and future individual income is exempt. 3. Eligibility for bankruptcy debt discharge is means-tested on the basis of current income. These three properties make the bankruptcy institution derived in our model strikingly similar to the liquidation procedure of the U.S. bankruptcy law, i.e., the so-called chapter 7 bankruptcy. Chapter 7 bankruptcy in fact discharges all unsecured debt obligations, provides asset exemptions for debtors, and frees all current and future income of the debtor from claims of the creditors.30 Means-testing for debtor eligibility to obtain discharge in chapter 7 bankruptcy was introduced by the Bankruptcy Abuse Prevention and Consumer Protection Act of 2005 (BAPCPA). The BAPCPA test is based primarily on the debtor’s current income.31 Similar to the eligibility rule of our model, all low-income agents are eligible for chapter 7 discharge under BAPCPA, where low income is de…ned as below state median. However, unlike in our model, high-income agents (i.e., those with income above state median) are not automatically excluded under the BAPCPA test. If the amount of unsecured debt of a high-income individual is large enough (relative to his disposable income, which is de…ned as income less allowable expenses), the debtor is eligible for discharge on grounds of being unable to repay his unsecured debt. Clearly, this feature of the BAPCPA test may provide an above-median income household with an incentive to increase borrowing in order to qualify for chapter 7 discharge. 7.2 Additional implications Beyond the basic structure, a number of additional features of our model can be confronted with the corresponding features of the market arrangement in the U.S. economy. In the model, seizure of non-exempt assets is an o¤-equilibrium event, i.e., the recovery rate on loans in bankruptcy is zero. Sullivan, Warren and Westbrook (2000) cite evidence showing that gross (96 percent in a large sample) of chapter 7 bankruptcy cases are the so-called no-asset cases, in which debtors do not hold any non-exempt assets. Consequently, conditional on bankruptcy, lenders’recovery rates are close to zero. 3 0 See Administrative O¢ ce of the United States Courts (2008) for a more detailed description of the chapter 7 bankruptcy liquidation proceeding. 3 1 See Wedo¤ (2007) for a detailed description of the BAPCPA and its means test. 30 By Proposition 3, the level of the asset exemption provided by the optimal bankruptcy rule of our model is strictly increasing in the agent’s wealth. As a fraction of wealth, however, the exemption is decreasing. In the model, therefore, the exemption is regressive (i.e., increasing at a decreasing rate). It is not immediately clear how the asset exemption provided by the U.S. chapter 7 bankruptcy law depends on the level of debtor’s wealth. Chapter 7 bankruptcy provides not one but many exemptions, one for each of the several asset classes distinguished in the law.32 The total wealth exemption, therefore, will depend on how a debtor’s wealth is allocated among these di¤erent asset classes. Within each asset class, the exemption is given by a simple ceiling level speci…ed in absolute terms.33 The overall exemption level, however, can increase in debtors’total wealth. This increase will be observed if wealthier debtors’wealth is spread among a larger number of asset classes recognized by the law. Thus, the fact that the within-class exemption caps are absolute is not inconsistent with the overall exemption level being increasing in debtors’wealth. It is clear, however, that the observed structure of bounded within-class chapter 7 asset exemptions makes the overall exemption level a regressive function of wealth. For debtors with higher overall wealth, within-class exemptions granted in the U.S. chapter 7 procedure will bind within a larger number of asset classes. Eventually, the within-class exemptions will be exhausted, which makes the overall exemption level regressive, as it is in our model (see Proposition 3). In the model, however, the exemption level is smoother than the one provided by chapter 7. Also, even at very high levels of wealth, the exemption level of our model is slightly increasing. This means that wealthy agents in our model receive more insurance than what chapter 7 appears to be providing to wealthy households in the United States. Closely related to the asset exemption level is the unsecured credit limit faced by an agent. In our model, as shown in Proposition 3, the unsecured credit limit ht;yt 1 is decreasing in individual wealth. It is important to point out, however, that it would be incorrect to identify the credit limit ht;yt 1 with the nominally unsecured credit limit of a household in the data (measured by the sum of limits on credit card accounts and other unsecured loans held by the household). In the model, agents borrow unsecurely purely for insurance purposes and do not hold any non-exempt wealth in equilibrium. Thus, 100% of the unsecured credit extended to the agents in our model is dischargeable in personal bankruptcy. If we de…ne de facto unsecured credit as precisely what can be discharged in bankruptcy, all of the unsecured credit used in our model is de facto unsecured. In reality, households hold non-exempt assets and use unsecured credit not exclusively for insurance purposes. Non-exempt wealth held by a household in the U.S. implicitly collateralizes the nominally unsecured credit available to the household.34 Therefore, credit card limits and the unsecured credit 3 2 Di¤erent exemption levels apply to such assets as primary residence equity, other real estate, one motor vehicle, additional motor vehicles, funds in retirement accounts, value of life insurance policies, cash, household goods. 3 3 There are some exceptions. For example, the unused portion of the primary residence exemption can be used to exempt other property. For details, see Administrative O¢ ce of the United States Courts (2008) and references therein. 3 4 For example, an agent whose nominal credit limit on a credit card is $50,000 faces a de facto unsecured credit limit of zero if his non-exempt assets stand in excess of $50,000. An agent with a $5,000 credit limit on a credit card and no non-exempt assets has access to de facto unsecured credit in the amount of $5,000. 31 limit of our model are two di¤erent objects. The amount of de facto unsecured credit available to a household in the United States, which would be comparable with our limit ht;yt 1 , is hard to measure directly. This amount depends on the overall wealth exemption level facing the household in the chapter 7 procedure, which in turn depends on the allocation of wealth among the various asset classes distinguished in the law. It is clear, however, that the bounded within-class asset exemptions of chapter 7 constitute a mechanism that decreases the de facto unsecured credit limit available to a household whose wealth increases. In fact, as wealth of a debtor increases, so does the non-exempt portion of it, as the allowed exemptions are not unbounded. The non-exempt wealth reduces dollar-for-dollar the de facto unsecured portion of a given nominally unsecured credit limit faced by the debtor.35 A similar mechanism functions in our model. In this paper, all kinds of real and …nancial wealth held by households are represented by a single, abstract riskless bond. Our model, therefore, is not suitable to address the interesting question of why di¤erent asset classes receive di¤erent exemption levels in the U.S. bankruptcy law. In the normative exercise we perform, individual income shocks are the only risk that agents face over the life-cycle, and unsecured borrowing and bankruptcy are, by construction, the only means for the agents to obtain insurance against these shocks. This modeling approach, commonly used in the normative literature (including the literature on optimal taxation), puts limits on how realistic the model prescriptions can be. Given these obvious limitations, it should be rather surprising how well the outcome of our normative analysis corresponds to the actual institutions observed in the U.S. economy. Both in the data and in the model, the level of bankruptcy asset exemption provided to households is regressive in household wealth (i.e., is increasing at a decreasing rate). It appears, however, that the exemption provided in the U.S. chapter 7 law is too regressive relative to the prescriptions of our model. In e¤ect, the insurance opportunities that chapter 7 procedure provides to wealthy households appear to be less than what theoretically could be provided through this channel if the exemption level schedule were chosen to be less regressive. 8 Conclusions In this paper, we pose and answer the normative question of how unsecured credit markets and the institution of personal bankruptcy should be organized in order to implement an e¢ cient allocation of e¤ort and consumption in a stylized life-cycle moral hazard economy. In equilibrium, agents borrow unsecurely and, simultaneously, save in the riskless asset. If hit by an adverse idiosyncratic income shock, agents use personal bankruptcy to obtain discharge of their unsecured debt obligations. In bankruptcy, agents use the asset exemption allowed by the optimal bankruptcy rules to shield their savings from the creditors. In e¤ect, they obtain insurance against the adverse income shock. The 3 5 In the example of the previous footnote, if the agent with de facto unsecured credit line of $5,000 suddenly receives a wealth injection of $3,000 in cash (a non-exempt asset), his de facto unsecured credit line drops automatically to $2,000. 32 optimal bankruptcy rules are designed to ensure incentive compatibility of this insurance mechanism. Eligibility for discharge is means-tested and asset exemptions are bounded. Access to unsecured credit, as well, is limited. The unsecured credit limits are tight just enough to not give agents an incentive to shirk. Unsecured credit is priced at actuarially fair odds and lenders break even in equilibrium. Viewed from a positive perspective, our model formalizes the notion that unsecured credit and personal bankruptcy constitute a mechanism for the provision of social insurance under asymmetric information. In our analysis, from this notion we derive an e¢ ciency-based theory on how unsecured credit markets and personal bankruptcy should be organized. The institutions obtained in our analysis turn out to be qualitatively similar to those actually observed in the United States. Our study, therefore, supports the notion that bankruptcy is an insurance mechanism whose functioning is constrained by private information. Agents’unobservable e¤ort is the only friction in the otherwise frictionless environment we study. This assumption allows us to isolate the implications of moral hazard for unsecured lending and personal bankruptcy. By confronting these implications with the main features of the institutions functioning in the U.S. economy, we gain insight into what other frictions, in addition to moral hazard, may be important in shaping the observed institutions. In particular, given the important role collateral plays in actual bankruptcy laws, the availability of costless enforcement of private contracts stands out as a strong assumption in our analysis. It seems that examining the implications of private information jointly with costly contract enforcement may provide further insights into the functioning of consumer credit markets and optimal design of the institution of bankruptcy. Beyond these general lessons, our results can be useful for quantitative studies of personal bankruptcy in the United States. An essential feature of the optimal arrangement of our model is that unsecured debt is distinct from negative wealth. Also, our model demonstrates that bankruptcy asset exemptions are important in determining what portion of nominally unsecured credit is de facto unsecured, i.e., dischargeable in bankruptcy. These features of our model suggest that disentangling unsecured credit from negative net worth and accounting for asset exemptions may be a productive next step to take in quantitative work. 33 Appendix Proof of Lemma 1 Note …rst that the solution to the component planning problem at T + 1 is immediate: BT +1;yT (wT +1 ) = CT +1 (wT +1 ); independently of yT . Because UT +1 is twice di¤erentiable, strictly increasing and strictly concave, BT +1;yT is twice di¤erentiable, strictly increasing and strictly convex. Consider now the cost function BT;yT 1 . Since BT +1;yT is strictly convex, BT;yT 1 is the value of a minimization problem with a strictly convex objective and linear constraints. By strict convexity, this problem has a unique solution and BT;yT is also strictly increasing and strictly convex. Proceeding 1 backwards, we have that all functions Bt;yt We now show that (8) holds. Fix t 1 are strictly increasing and strictly convex. T , yt 1 2 t 1, and wt . The solution to the component planning problem must satisfy the temporary incentive compatibility (TIC) constraint (4), which can be written as Vt (1) + t;yt 1 ( H t j1) wt+1;yt 1 (wt ; H t ) wt+1;yt 1 (wt ; L t ) Vt (0) + t;yt 1 ( H t j0) wt+1;yt 1 (wt ; H t ) wt+1;yt 1 (wt ; L t ) : Thus, H t ) wt+1;yt 1 (wt ; wt+1;yt 1 (wt ; L t ) t;yt > 0; Vt (0) ( H t j1) 1 Vt (1) t;yt 1 1 H t j0) ( where the strict inequality follows from Vt (0) > Vt (1) and (1). From (8) and the strict convexity of Bt+1;yt it follows that the TIC constraint (4) binds. If it did not, it would be possible to decrease the di¤erence between wt+1;yt 1 (wt ; without changing the expected value of wt+1;yt 1 H t ) and wt+1;yt 1 (wt ; L t ) and obtain in this way a feasible component planner policy that would generate a lower cost than the optimum (by the strict concavity of Bt+1;yt ), a contradiction. Since the TIC binds, it must hold with equality, i.e., Vt (1) + X yt 2 t;yt t 1 (yt j1)wt+1;yt 1 (wt ; yt ) = Vt (0) + X yt 2 t;yt t 1 (yt j0)wt+1;yt 1 (wt ; yt ): Directly from this equality we have that the recommendation of low e¤ort x = 0 satis…es the TIC in the minimization problem de…ning Bt;yt 1 (wt ). Under this recommendation, the promise keeping (PK) constraint (5) is satis…ed as well, as either side of the above TIC constraint equals wt ut;yt 1 (wt ). Thus, the recommendation of low e¤ort x = 0, the consumption utility assignment ut;yt 1 (wt ) and the continuation utility assignment wt+1;yt 1 (wt ; yt ) for yt 2 34 t are a feasible choice for the component planner in the minimization problem de…ning Bt;yt 1 (wt ). We now use this fact to show inequality (9). If (9) is violated, (1) implies that the low e¤ort recommendation x = 0, the consumption utility assignment ut;yt 1 (wt ), and the continuation utility assignment wt+1;yt 1 (wt ; yt ) for yt 2 t is a policy choice that achieves a cost strictly lower than Bt;yt 1 (wt ) as Bt;yt 1 (wt ) X = C(ut;yt 1 (wt )) + > yt 2 t yt 2 t X C(ut;yt 1 (wt )) + t;yt 1 (yt j1)f yt + qt Bt+1;yt (wt+1;yt 1 (wt ; yt ))g t;yt 1 (yt j0)f yt + qt Bt+1;yt (wt+1;yt 1 (wt ; yt ))g: This contradicts Assumption 1. Thus, inequality (9) holds. To show inequality (7), note that the value u ~ de…ned as u ~ = ut; L t 1 satis…es u ~ (wt ) ut; L t 1 wt+1; L t 1 H t ) (wt ; wt+1; L t 1 (wt ; L t ) t; H t 1 ( H t j1) L t 1 t; ( H t j1) (wt ) because the terms in parentheses are positive by (8) and (2), respectively. Also, it is easy to check (using (2) again) that the utility assignment u ~ and the continuation value assignments wt+1; L t 1 problem de…ning Bt; Bt; H t 1 (wt ; yt ) for yt 2 H t 1 (wt ) t, are feasible in the constraint set of the minimization (wt ). Thus, C(~ u) + X yt 2 C(ut; L t 1 (yt j1)f yt + qt Bt+1;yt (wt+1; H t 1 t; t (wt )) + X yt 2 = Bt; L t 1 (wt ); Bt;yt 1 (wt ut;yt 1 (wt L t 1 ut; L t 1 t where the second inequality follows from u ~ Cost function di¤erentiability: Fix t t; T , yt 1 L t 1 (wt ; yt ))g (yt j1)f yt + qt Bt+1;yt (wt+1; L t 1 (wt ; yt ))g (wt ), (9) and (2). 2 t 1 and consider the di¤erence Bt;yt 1 (wt ) ") for some wt and " 6= 0, with " small in absolute value. Because the policies ") + " and wt+1;yt 1 (wt de…ning Bt;yt 1 (wt ), we get Bt;yt 1 (wt ) Bt;yt 1 (wt "; yt ) for yt 2 ") C(ut;yt 1 (wt t are feasible in the minimization problem ") + ") Also, since the policies ut;yt 1 (wt ) " and wt+1;yt 1 (wt ; yt ) for yt 2 problem de…ning Bt;yt 1 (wt "), we get Bt;yt 1 (wt ) Bt;yt 1 (wt ") C(ut;yt 1 (wt )) 35 C(ut;yt 1 (wt t ")): are feasible in the minimization C(ut;yt 1 (wt ) "): Dividing by ", we get C(ut;yt 1 (wt )) C(ut;yt 1 (wt ) ") Bt;yt 1 (wt ) Bt;yt 1 (wt ") " (w ") + ") C(ut;yt 1 (wt t 1 " C(ut;yt ")) " : 0 Taking the (left and right) limit as " ! 0, we get that Bt;y (wt ) exists with t 1 0 Bt;y (wt ) = C 0 (ut;yt 1 (wt )): t 1 We can now further characterize the cost functions Bt;yt conditions. For every (t; yt 1) 2 f1; :::; T g for yt 2 t, where t;yt = t;yt 1 ;wt ; 1 = t;yt 1 ;wt (1 1 ;wt by using the …rst-order and envelope and wt , the …rst-order conditions are as follows t 1 C 0 (ut;yt 1 (wt )) 0 Bt+1;y (wt+1;yt 1 (wt ; yt ))qt t 1 (39) LRt;yt 1 (yt )) + t;yt > 0 is the Lagrange multiplier on the TIC constraint, 1 ;wt ; (40) t;yt 1 ;wt > 0 is the Lagrange multiplier on the PK constraint, and LRt;yt 1 (yt ) is the likelihood ratio, given by LRt;yt 1 (yt ) = t;yt t;yt (yt j0) : (y t j1) 1 1 The envelope condition is 0 Bt;y (wt ) = t 1 Conditional on yt 1, t;yt 1 ;wt : (41) the expectation of the likelihood ratio, under optimal e¤ort xt;yt 1 (wt ) = 1 is one: X yt 2 t;yt t 1 (yt j1)LRt;yt 1 (yt ) = X yt 2 = t;yt t 1 (yt j1) t;yt t;yt (yt j0) (yt j1) 1 1 1: (42) Since e¤ort is productive, i.e., (1), we thus have LRt;yt 1 ( for any yt 1 2 H t ) < 1 < LRt;yt 1 ( L t ) (43) t 1. Condition (10) follows directly from (39) and (41). Inequalities (11) follow from (40) with (41) and the inequalities (43). Condition (12) follows by adding up equations (40) over yt 2 t and using (42). We now show that the policy functions are strictly increasing in the utility value delivered. 36 Writing the binding TIC constraint as follows wt+1;yt 1 (wt ; H t ) L t ) = wt+1;yt 1 (wt ; + t;yt we get that wt+1;yt 1 (wt ; wt+1;yt 1 (wt ; H t ) H t ) L t ) and wt+1;yt 1 (wt ; and wt+1;yt 1 (wt ; L t ) Vt (0) H 1 ( t j1) Vt (1) t;yt 1 1 ( H t j0) ; (44) are co-monotone in wt , as the changes in associated with any change in wt must be exactly equal to each other. From (12) and (10), we have 1 C 0 (ut;yt 1 (wt )) = qt X yt 2 0 is increasing for both yt 2 Since Bt+1;y t the continuation values wt+1;yt 1 (wt ; t;yt 1 t t ; the H ) and t 0 (yt j1)Bt+1;y (wt+1;yt 1 (wt ; yt )): t (45) right-hand side of this equation is co-monotone with wt+1;yt 1 (wt ; L t ). Thus, so must be the left-hand side. By concavity of C, we get that ut;yt 1 (wt ), as well, is co-monotone with the continuation values wt+1;yt 1 (wt ; and wt+1;yt 1 (wt ; H t ) L t ) L t ). and wt+1;yt 1 (wt ; Thus, as wt varies, ut;yt 1 (wt ) and wt+1;yt 1 (wt ; H t ) all change in the same direction. The promise-keeping constraint (5) implies that these three values must be increasing in wt with at least one value strictly increasing. That all three are strictly increasing follows from (45) and (44). Proof of Lemma 2 Solving for WT +1;yT from de…nition, for any bT +1 , we get WT +1;yT (bT +1 ) = max cT +1 bT +1 UT +1 (cT +1 ) = UT +1 (bT +1 ); with optimal consumption c^T +1;yT (bT +1 ) = bT +1 : (46) Similarly, from de…nitions of BT +1;yT and CT +1 we have for any wT +1 BT +1;yT (w) = min uT +1 =wT +1 CT +1 (uT +1 ) = CT +1 (wT +1 ) = (47) 1 UT +1 (wT +1 ); with uT +1;yT (wT +1 ) = wT +1 : Thus, 1 1 BT +1;y = (UT +1 ) T 1 = UT +1 = WT +1;yT ; 37 (48) and, for both yT 2 T, 1 CT +1 (uT +1;yT (BT +1;y (bT +1 ))) T 1 = CT +1 (BT +1;y (bT +1 )) T = bT +1 = c^T +1;yT (bT +1 ); where the …rst equality follows from (48), the second from (47), and the third from (46). Proof of Lemma 3 Under the assumptions of the lemma, the problem of a consumer of type (yt max c;h;s;b0 (yt ) X Vt (1) + U (c) + yt 2 t;yt 1 t 1 ; bt ) (yt j1)Wt+1;yt (b0 (yt )) reduces to (49) subject to the budget constraints 0 h ht;yt 1 (bt ); (50) c + s = bt + h; q t b0 ( H t ) H t = (51) +s t;yt q t b0 ( Let L t ) 1 ( 1 H t j1) h; = L t +s = L t + minfs; st;yt 1 (bt )g: denote the budget set given by (50)-(53). into two convex subsets as follows. Let 1 maxfs (52) st;yt 1 (bt ); 0g (53) is not convex, due to (53). We will now divide be given by s st;yt 1 (bt ); 0 h ht;yt 1 (bt ); c + s = bt + h; q t b0 ( H t ) = H t +s t;yt q t b0 ( Let 2 L t ) = L t 1 1( + s: H t j1) h; be given by s st;yt 1 (bt ); 0 h ht;yt 1 (bt ); c + s = bt + h; q t b0 ( H t ) = H t +s t;yt q t b0 ( L t ) = L t 1 1( + st;yt 1 (bt ): 38 H t j1) h; Both 1 union of and 1 2 are convex, as they are given by linear equality and inequality constraints. Also, the and 2 H 0 L t ); b ( t ) is . The vector of choices for h; s; c; b0 ( prescribed by the proposed e equilibrium policies evaluated at bt , denote this vector by z , is feasible in both 1 and now two auxiliary utility maximization problems as follows: 1) maximize (49) over maximize (49) over 2. 2. 1, De…ne and 2) e In order to show that z maximizes (49) over the whole , it is su¢ cient to e show that z solves both of the two auxiliary maximization problems. Indeed, if there exists in a vector z~ that dominates z e (with respect to the objective (49)), then z e cannot solve both of the two auxiliary problems, as z~ must be feasible in at least one of them. Since the objective is strict concavity and the constraint set is convex, it is su¢ cient to show that z e satis…es the FOCs in each of the two auxiliary problems. In the …rst sub-problem, they are (ignoring the non-negativity constraint on h): H t )); (54) 0 (yt j1)Wt+1;y (b0 (yt )); t (55) 0 qt 1 Wt+1; U 0 (c) H t (b0 ( with equality if h < ht;yt 1 (bt ) and U 0 (c) X 1 qt yt 2 t;yt 1 t with equality if s < st;yt 1 (bt ). Using the inductive assumption (26), the inverse function theorem, and substituting in the proposed equilibrium policies for the consumer choice variables, these su¢ cient conditions read, respectively, 1 C 0 (ut;yt 1 (wt )) and 1 C 0 (u t;yt 1 qt (wt )) qt 1 X yt 2 1 0 Bt+1; t;yt 1 t 1 (w H t+1;yt 1 (wt ; H t )) t (yt j1) ; 1 0 Bt+1; H t (wt+1;yt 1 (wt ; yt )) with wt = Bt;y1t 1 (bt ). In this form, these conditions are expressed purely in terms of objects determined in the solution to the component planning problems. That the …rst of these conditions holds follows from equality (10) and the right inequality in (11) of Lemma 1. In fact, this condition is satis…ed with strict inequality. That the second of these conditions is true follows from (10) and the application of Jensen inequality to equation (12) of Lemma 1. This condition, as well, is satis…ed with strict inequality. Thus, the proposed equilibrium behavior vector z e does solve the …rst auxiliary problem. The su¢ cient FOC of the second problem are as follows (ignoring again the non-negativity constraint on h): 0 qt 1 Wt+1; U 0 (c) H t (b0 ( H t )); (56) with equality if h < ht;yt 1 (bt ) and U 0 (c) qt 1 t;yt 1 ( H 0 t j1)Wt+1; 39 H t (b0 ( H t )); (57) with equality if s > st;yt 1 (bt ). Note that (56) coincides with (54), thus, is satis…ed by the proposed equilibrium vector z e . The second FOC (57) follows directly from (56), as the proof of the lemma is complete. t;yt 1 ( H t j1) 1. Thus, Proof of Lemma 4 Conditional on the choice of low e¤ort xt = 0, the consumer chooses c; h; s; b0 (yt ) so as to maximize the objective X Vt (0) + U (c) + yt 2 t;yt t 1 (yt j0)Wt+1;yt (b0 (yt )) (58) subject to the budget set . The di¤erence between this problem and the problem consumers solve under e¤ort xt = 1 (Lemma 3) is the additive component Vt (xt ) in the objective and the conditional probability distribution t;yt 1 (yt jxt ). We proceed as in Lemma 3. We divide the consumer problem into two sub-problems. The …rst sub-problem is de…ned as maximization of the objective (58) on the budget set 1. Su¢ cient FO conditions of this problem are: U 0 (c) qt 1 ( t;yt 1 t;yt 1( H t j0) 0 Wt+1; H j1) t H t (b0 ( H t )); (59) with equality if h < ht;yt 1 (bt ) and U 0 (c) qt X 1 yt 2 t;yt 1 t 0 (yt j0)Wt+1;y (b0 (yt )); t (60) with equality if s < st;yt 1 (bt ). Condition (59) follows from the fact that (54) is satis…ed by the proposed equilibrium policies, and the left inequality in (43). Similarly, that the proposed equilibrium policies satisfy (60) follows from (55), (1), and (11). The su¢ cient FO conditions of the second sub-problem (maximization of (58) on U 0 (c) qt 1 t;yt 1 ( t;yt 1 ( t;yt 1 ( H t j0) 0 Wt+1; H t j1) H t H 0 t j0)Wt+1; H t 2) are: (b0 ( H t )); (61) (b0 ( H t )); (62) with equality if h < ht;yt 1 (bt ) and U 0 (c) qt 1 with equality if s > st;yt 1 (bt ). Condition (61) is the same as (59), thus, is satis…ed by the proposed equilibrium. Finally, (62) follows from (57) and (1). 40 References Administrative O¢ ce of the United States Courts (2008), “Bankruptcy Basics,”http://www.uscourts.gov /bankruptcycourts/bankruptcybasics.html Albanesi, S., and C. Sleet (2006), “Dynamic Optimal Taxation with Private Information,” Review of Economic Studies, 73, 1-30. Alvarez, F. and U. Jermann (2000), “E¢ ciency, Equilibrium and Asset Pricing with Risk of Default” Econometrica, 68(4), 775-798. Araujo, A.P. and M.R. Pascoa (2002), “Bankruptcy in a model of unsecured claims,” Economic Theory 20, 455–481. Athreya, K. (2002), “Welfare Implications of the Bankruptcy Reform Act of 1999,” Journal of Monetary Economics, 49, 1567-1595. Atkeson, A. and R.E. Lucas, Jr. (1992), “On e¢ cient distribution with private information.” Review of Economic Studies, 59, 427–453. Atkeson, A. and R.E. Lucas, Jr. (1995), “E¢ ciency and Equality in a Simple Model of E¢ cient Unemployment Insurance,” Journal of Economic Theory, 66, 64-88. Bisin, A. and A. Rampini (2006), “Exclusive contracts and the institution of bankruptcy”Economic Theory, 27, 277-304. Bizer, D.S. and P.M. DeMarzo (1999), “Optimal Incentive Contracts when Agents Can Save, Borrow, and Default” Journal of Financial Intermediation, 8(4), 241–269. Chatterjee, S., D. Corbae, M. Nakajima, J.V. Rios-Rull (2007), “A quantitative theory of unsecured consumer credit with risk of default.” Econometrica, 75(6), 1525-1589. Clementi, G.L. and H.A. Hopenhayn (2006), “A Theory of Financing Constraints and Firm Dynamics” Quarterly Journal of Economics, 121(1), 229-265. DeMarzo, P.M. and Y. Sannikov (2006), “Optimal Security Design and Dynamic Capital Structure in a Continuous-Time Agency Model,” Journal of Finance, 66(6), 2681-2724. Dubey, P., J. Geanakoplos and M. Shubik (2005), “Default and Punishment in General Equilibrium,” Econometrica, 73(1), 1-37. Fernandes, A. and C. Phelan, (2000), “A recursive formulation for repeated agency with history dependence,” Journal of Economic Theory, 91, 223-247. Golosov, M. and A. Tsyvinski (2006), “Designing Optimal Disability Insurance: A Case for Asset Testing,” Journal of Political Economy 114(2), 257-279. Golosov, M. and A. Tsyvinski (2007), “Optimal Taxation with Endogenous Insurance Markets,” Quarterly Journal of Economics, 122(2), 487-534. 41 Gropp, R., J.K Scholz and M.J. White (1997), “Personal Bankruptcy and Credit Supply and Demand” Quarterly Journal of Economics, 112(1), 217-251. Gross, D. and N. Souleles (2002), “Do Liquidity Constraints and Interest Rates Matter for Consumer Behavior? Evidence from Credit Card Data.”Quarterly Journal of Economics, 117(1), 149-185. Hopenhayn, H.A. and J.P. Nicollini (1997), “Optimal Unemployment Insurance,” Journal of Political Economy, 105(2), 412-438. Hunt, R.M. (2006), “The Development and Regulation of Consumer Credit Reporting in America,” in G. Bertola and C. Grant, eds., The Economics of Consumer Credit: European Experience and Lessons from the US. Boston: MIT Press. Jackson, T.H. (1985), “The fresh start policy in bankruptcy law.” Harvard Law Review, 98, 1393– 1449. Kehoe, T.J. and D.K. Levine (1993), “Debt Constrained Asset Markets,” Review of Economic Studies, 60(4), 865-888. Kehoe, T.J. and D.K. Levine (2001), “Liquidity Constrained Markets versus Debt Constrained Markets,” Econometrica, 69(3), 575-598. Kehoe, T.J. and D.K. Levine (2006), “Bankruptcy and Collateral in Debt Constrained Markets,” FRBM Research Department Sta¤ Report 380. Khan, C.M. and D. Mookherjee (1995), “Market failure with moral hazard and side trading” Journal of Public Economics, 159-184. Kocherlakota, N. (2005), “Zero expected wealth taxes: A Mirrlees approach to dynamic optimal taxation,” Econometrica, 73(5), 1587-1621. Li, W. and P.D. Sarte (2006), “U.S. Consumer Bankruptcy Choice: The Importance of General Equilibrium E¤ects,” Journal of Monetary Economics, 53, 613-631. Livshits, I., J. MacGee, and M. Tertilt (2007), “Consumer Bankruptcy: A Fresh Start,” American Economic Review, 97(1), 402-418. Mirrlees, J.A. (1971), “An Exploration in the theory of optimum income taxation,” Review of Economic Studies, 38, 175-208. Pagano, M. and T. Jappelli (1993), “Information Sharing in Credit Markets” Journal of Finance, 48(5), 1693-1718. Phelan, C. and R.M. Townsend (1991), “Computing Multi-Period, Information-Constrained Optima” Review of Economic Studies, 58, 853-881. Prescott, E.C. and R.M. Townsend (1984), “Pareto Optima and Competitive Equilibria with Adverse Selection and Moral Hazard,” Econometrica, 52(1), 21-45. 42 Rampini, A. (2005), “Default and Aggregate Income” Journal of Economic Theory, 122, 225-253. Rogerson, W. (1985), “Repeated Moral Hazard” Econometrica, 53(1), 69-76. Spear, S.E. and S. Srivastava (1987), “On Repeated Moral Hazard with Discounting” Review of Economic Studies, 54, 599-617. Telyukova, I. (2006), “Household Need for Liquidity and the Credit Card Debt Puzzle” UCSD Working Paper 2008-01. Telyukova, I and R. Wright (2008), “A Model of Money and Credit, with Application to the Credit Card Debt Puzzle,” Review of Economic Studies, forthcoming. Townsend, R. (1988), “Information Constrained Insurance. The Revelation Principle Extendend.” Journal of Monetary Economics, 21, 411-450. Wedo¤, E.R. (2007), “Major Consumer Bankruptcy E¤ects of BAPCPA,” University of Illinois Law Review, 2007(1), 31-66. White, M.J. (2007), “Bankruptcy Reform and Credit Cards, ” Journal of Economic Perspectives, 21(4), 175-199. Zame, W. (1993), “E¢ ciency and the Role for Default when Markets are Incomplete” American Economic Review, 83(5), 1142-1164. 43