DYNAMIC PERFORMANCE EVALUATION WITH DEADLINES: THE ROLE OF COMMITMENT

Size: px
Start display at page:

Download "DYNAMIC PERFORMANCE EVALUATION WITH DEADLINES: THE ROLE OF COMMITMENT"

Transcription

1 Discussion Paper No DYNAMIC PERFORMANCE EVALUATION WITH DEADLINES: THE ROLE OF COMMITMENT Chia-Hui Chen Junichiro Ishida October 2017 The Institute of Social and Economic Research Osaka University 6-1 Mihogaoka, Ibaraki, Osaka , Japan

2 Dynamic Performance Evaluation with Deadlines: The Role of Commitment Chia-Hui Chen and Junichiro Ishida October 20, 2017 Abstract We consider an environment in which a principal hires an agent and evaluates his productivity over time in an ongoing relationship. The problem is embedded in a continuoustime model with both hidden action and hidden information, where the principal must induce the agent to exert effort to facilitate her learning process. The value of committing to a deadline is examined in this environment, and factors which make the deadline more profitable are identified. Our framework generates a unique recursive equilibrium structure under no commitment which can be exploited to obtain a full characterization of equilibrium. The analysis allows us to evaluate the exact value of commitment for any given set of parameters and provides insight into when it is beneficial to commit to an evaluation deadline at the outset of a relationship. JEL Classification Number: D82, D83 Keywords: dynamic agency, deadlines, experimentation, commitment, up-or-out contracts. The firstauthor acknowledges financial supportfrom JSPSKAKENHIGrant-in-Aidfor ScientificResearch B) 16H03615 and Young Scientists B) 17K The second author acknowledges financial support from JSPS KAKENHI Grant-in-Aid for Scientific Research S) 15H05728, A) , B) 16H03615 and C) as well as the program of the Joint Usage/Research Center for Behavioral Economics at ISER, Osaka University. Institute of Economic Reserach, Kyoto University. chchen@kier.kyoto-u.ac.jp Institute of Social and Economic Research, Osaka University. jishida@iser.osaka-u.ac.jp

3 1 Introduction Suppose that an employer needs to hire a worker to carry out a project over time. The project is ability-intensive in that the worker can successfully complete the project only if he is sufficiently productive. As is often the case, however, the worker s sheer productivity is not directly observable to the employer, who must instead make an inference from a sequence of observed outputs. Since success cannot be achieved overnight, the employer must exercise some patience even when things do not appear to be in good shape. Excessive tolerance for failure, however, diminishes the worker s incentive to take costly actions that are indispensable to be successful. A number of issues arise in this dynamic environment. How much time should the employer give the worker before she terminates the project? Should the employer commit to a deadline at the outset? If so, under what conditions? In this paper, we attempt to address these issues by analyzing a situation where a principal hires an agent and evaluates his productivity over time in an ongoing relationship. The problem is embedded in a continuous-time framework with both hidden action and hidden information. At each instant, the agent privately chooses how much effort to supply. The outcome is either a success or a failure, depending on his effort choice as well as his productivity type. The game ends immediately when the agent achieves a success or a breakthrough ). The principal s task in this environment is to determine when to terminate the project, conditional on no success having occurred. Within this setup, we analyze two distinct cases to illustrate the role of commitment: in one case, the principal sets a deadline and commits to it at the outset, and the project is terminated automatically when the deadline is reached without attaining a success; in the other, the principal makes no such commitment, thereby retaining discretion to terminate the project at any instant, and simply terminates the project when the continuation payoff is not high enough to justify further experimentation. By directly comparing these two cases, we evaluate the extent to which the principal benefits from committing to an evaluation deadline in this dynamic environment. The driving force of our analysis is a dynamic strategic interaction between the agent s effort choice and the principal s termination strategy. On one hand, the agent s effort choice depends clearly on how much time is left until the project is terminated: since the net value of achieving a success is low when the project is still far from termination, the agent tends to start off with low effort and gradually shift to higher effort as the expected termination date approaches. On the other hand, the principal s willingness to terminate the project depends also on the agent s effort choice: when the agent is less motivated and exerts low effort, less information is revealed about his type, which makes the principal more reluctant 1

4 to terminate the project. This strategic interaction can generate a vicious cycle where the principal s reluctance to terminate the project diminishes the agent s motivation, which in turn makes the principal even more reluctant. It is in general profitable to commit to a deadline when each player s incentive to procrastinate is sufficiently strong. The main contribution of the paper is that we devise an analytical framework that is tractable enough to admit a complete characterization of pure-strategy equilibria, both with and without commitment, while capturing this dynamic interaction. Our framework thus allows us to evaluate the exact value of commitment to an evaluation deadline for any given set of parameters. To this end, our main analytical focus is on the no-commitment case, which is generally far more challenging than the commitment case when dynamic interactions are considered. In the no-commitment case, the principal s termination strategy must be sequentially rational along the way, and the belief off the equilibrium path plays a crucial role. Even in this case, we can show that our framework generates a unique recursive equilibrium structure which can be exploited to establish the existence and uniqueness of pure-strategy) perfect Bayesian equilibrium. We then build on this result to derive a necessary and sufficient condition under which the principal can strictly benefit from committing to an evaluation deadline. As can be expected, the lack of commitment to a deadline entirely alters the dynamic allocation of effort as well as the timing of project termination. When the principal sets a deadlineattheoutset, shedoessobytakingintoaccount howitaffects theagent s entireeffort sequence. In particular, since extending a deadline in general relaxes the agent s incentive compatibility constraint and reduces his total effort supply, the deadline must be set at a point where the expected benefit of achieving a success at the next instant) equals the cost of a decrease in total effort. The situation changes rather drastically when she makes no such commitment, because her termination decision would have no influence on the agent s past behavior. As such, she terminates the project whenever the continuation payoff is about to turn negative while taking the agent s effort strategy as given. This fact implies that the cost of extending a deadline is smaller under no commitment and tends to give her an excessive incentive to wait for a success. Given this incentive structure, one may expect that the principal would always wait longer for a success in equilibrium under no commitment. As it turns out, though, this conjecture does not always hold true in the current setup. Among other things, an interesting, and somewhat counterintuitive, property of our model is that the average duration of the project may not be monotonic with respect to the initial prior belief under no commitment, whereas it is always weakly increasing under commitment. As a direct consequence of this, the average 2

5 duration can be either shorter or longer with commitment than without: in other words, there exists an equilibrium in which the principal prematurely terminates the project when she does not commit to a deadline. This result is somewhat surprising, provided that the inefficiency of the problem stems from the principal s reluctance to terminate the project in the first place. The principal tends to terminate the project too early when the agent s productivity under low effort is sufficiently small. For the sake of argument, suppose that the agent fails almost surely when he exerts low effort, in which case the expected instantaneous payoff is negative while the principal can learn almost nothing from failures during the phase where the agent is supposed to exert low effort). The principal s belief then declines very slowly over time, forcing her to incur a large amount of loss if she is to wait until she totally loses her confidence in the agent s ability. If this expected loss is prohibitively large, the principal may find it optimal to terminate the project even when the belief is still relatively high. Of course, in equilibrium, the agent correctly anticipates this reaction and adjusts his effort allocation accordingly. We show that the equilibrium timing of project termination can be pinned down by backward induction, where we start from the final critical time to be derived) and solve backward. This process gives rise to the aforementioned recursive equilibrium structure which allows us to establish the uniqueness of equilibrium and also obtain a diverse set of equilibrium dynamics under no commitment. The implications of our analysis can be applied broadly to a range of circumstances in which a principal an evaluator) must assess an agent s upside potential that is only gradually revealed in an ongoing relationship, e.g., a manager who must evaluate subordinates, a professor who must evaluate graduate students, a head coach in professional sports who must evaluate players, and so on. Among those possibilities, the most prominent example of evaluation schemes with deadlines is perhaps the up-or-out system, which is widely observed in academia and professional service industries such as law, accounting, and consulting. As a specific application, our framework offers some insight for when up-or-out contracts are more valuable by identifying several key factors such as high ability intensity, stable job descriptions, and similar jobs across ranks which favor the use of an evaluation deadline from a previously unexplored channel. Each of these factors intensifies either the agent s incentive to delay exerting high effort for a given deadline or the principal s incentive to delay terminating the project for a given effort sequence or both), thereby rendering it more profitable to set a deadline at the outset. The paper is organized as follows. The literature review is provided in the remainder of this section. The model is presented in section 2 and analyzed in sections 3 and 4, where we 3

6 characterize both the commitment and no-commitment solutions. These solutions are then compared in section 5, in order to analyze the value of commitment and derive a necessary and sufficient condition under which it is strictly optimal to commit to a deadline. Some extensions of the baseline model and concluding remarks are offered in section 6. Related Literature: The current analysis is most closely related to the experimentation literature in that the principal here attempts to uncover the agent s type through a sequence of experiments. 1 From the principal s point of view, our model can be seen as a variant of the canonical two-armed bandit problem with one safe arm terminating the project) and one risky arm continuing the project). Our model is particularly related to the literature on strategic experimentation which analyzes a situation where a group of individuals, rather than a single individual, face bandit problems Bolton and Harris, 1999; Bergemann and Välimäki, 1996, 2000; Keller et al., 2005; Klein and Rady, 2011; Bonatti and Hörner, 2011). A crucial difference from this strand of literature is that experiments in our context are intermediated, i.e., experiments are conducted not by the principal herself but by an informed intermediary, the agent, who faces no uncertainty about the project. 2 Recently, there have been increasingly many works that explore the optimal provision of incentives in bandit problems. Manso 2011) considers the classic two-armed bandit problem and shows that the optimal contract in this context must tolerate, or even reward, early failures in order to encourage exploratory activities. Bergemann and Hege 1997, 2005) and Hörner and Samuelson 2013) analyze a financing problem of a venture capitalist where the principal provides funding to the agent who conducts experiments on a project of unknown quality. 3 Gerardi and Maestri 2012) consider a similar environment where an agent conducts experiments but assume that the outcome of each experiment can only be observed by the agent. The principal must hence devise a contract not only to induce costly effort but also to truthfully reveal the information. Halac et al. 2013) analyze a model of long-term contracting for experimentation with hidden information about the agent s ability and dynamic moral hazard and obtain an explicit characterization of optimal contracts. Aside from 1 An early economic application of the bandit problem can be found in Rothschild 1974). See Bergemann and Välimäki 2008) for a survey. 2 Several recent works analyze models of delegated experimentation where a principal delegates experimentation to an agent. Guo 2014) analyzes a situation where the principal can specify, with full commitment power, how the agent should allocate the resource in all future contingencies and solves for the optimal delegation rule. Garfagnini 2011) considers a similar setting to ours but assumes that: i) the principal and the agent are symmetrically informed about the state of nature; and ii) the agent s payoff is independent of the state. Chen and Ishida 2015) consider the opposite case in which the principal, with the termination right, may be privately informed about the project quality while the agent focuses on implementing the project assigned to him. 3 Also, see Buisseret 2016) who considers a two-period model of this setting with a more general, convex cost function. 4

7 some technical differences, 4 these previous works are primarily concerned with characterizing optimal contracts. In contrast, the aim of this paper is to compare the allocations under full commitment and no commitment, while considering a less complete contractual environment, in order to evaluate the extent to which the principal can gain from committing to a deadline at the outset. Although it is hard to tell a priori which specification is more plausible, as it depends on the details of the underlying situation, our simple and tractable framework allows us to identify and illuminate the counterintuitive role of commitment in dynamic performance evaluation. Several recent works examine the role of commitment in dynamic moral hazard setting. Mason and Välimäki 2015) consider a dynamic moral hazard problem and derive optimal wage contracts, both with and without commitment on wage payments. Hörner and Samuelson 2016) consider a repeated-game setting in which the principal chooses the scale of the project in addition to contingent payments and characterize the set of equilibrium payoff vectors that can be achieved without commitment. 5 A key difference from our model is that these two works do not consider the principal s learning, which is our main focus, with no hidden information about the agent s type; as a consequence, the project is never terminated in their models. 6 This stands in sharp contrast to our setting in which the principal accumulates information about the agent over time, and the project must be terminated in finite time. 7 It is well known that players often wait until the deadline to reach an agreement in finitehorizon models. This behavior, which is referred to as the deadline effect, is a topic of utmost concern in many bargaining and war of attrition models Hendricks et al., 1988; Spier, 1992; Fershtman and Seidman, 1993; Hörner and Samuelson, 2011; Chen, 2012; Damiano et al., 2012; Fuchs and Skrzypacz, 2013). Some recent works also explore the role of deadlines in dynamic problems with multiple agents. Bonatti and Hörner 2011) analyze a dynamic 4 As a key technical difference, we consider a case where the agent knows his own productivity or the project quality), so that our model belongs to the class of dynamic signaling with stochastic signals), rather than of experimentation, from the agent s point of view. 5 In their model, outcomes are privately observed by the agent, and the moral-hazard problem regards the truthful disclosure of this private information. 6 Georgiadis et al. 2014) analyze the role of commitment in a dynamic contribution games where the manager has the decision right over the project size. With multiple agent types and dynamic learning, Bonatti and Hörner 2017) analyze a symmetric-information) experimentation model in which wages are determined competitively a la Holmström 1999) and characterize effort and wage dynamics with an exogenous termination date. 7 A subtle technical difference which directly arises from this fact lies in the ways in which to construct an equilibrium. Mason and Välimäki 2016) and Hörner and Samuelson 2017) construct an equilibrium via arguments found in the analysis of infinitely repeated games reversion to the worst continuation equilibrium), and as such, their analyses yield a non-degenerate set of equilibria. In our analysis, an equilibrium is obtained via backward induction which gives rise to a unique equilibrium. 5

8 moral-hazard problem with a team in which multiple agents work on a project of unknown quality and briefly discuss the optimal deadline in this context. Campbell et al. 2013) consider a similar environment where two agents work jointly on a project. They assume that there is only one project type but assume that one s own outcomes are his private information. Each agent can exert effort to produce a breakthrough individually, and a successful agent can reveal that he has been successful. The focus of these works is placed on the interaction between the agents, especially the freerider problem, whereas ours is on the dynamic interaction between the principal s termination decisions and the agent s effort choices. 2 A dynamic model of performance evaluation Environment: We employ a continuous-time model because of its greater tractability. Consider a situation where a principal female) hires an agent male) to complete a project. The game ends either when the agent attains a success a breakthrough ) or when the principal terminates the project. The agent is either good with prior probability p 0 0,1) or mediocre with probability 1 p 0. The ability type is the agent s private information and is not directly observable to the principal who must instead evaluate it from a sequence of observed outcomes. Production: Theagent makesunobservableefforta t {l,h}ateachinstantt. 8 Weinterpret that low effort a t = l) refers to the minimum level of effort that can be induced via input monitoring while high effort a t = h) refers to any part of effort that cannot be directly monitoredbyanymeans. Theinstantaneouscost ofeffortaisdenotedbyd a whered h = d > 0 and d l = 0. A success arrives stochastically, depending on the effort choice as well as the agent s type. If the good type chooses a t = a over time [t,t+dt), he attains a success with probability λ a dt where λ h > λ l > 0. In contrast, the mediocre type can never succeed with any effort level. 9 Define λ := λ h λ l. Payoff: We consider an incomplete-contracting environment where contingent rewards on the arrival of a success cannot be enforced. 10 A success yields a net present value of y > 0 8 Our focus on binary effort reflects our implicit presumption that the effort cost and success probability are linear, as usually assumed in this literature e.g., Keller et al, 2005; Bonatti and Horner, 2011, for most of their analysis). As long as this structure is maintained, an extension to continuous effort, say a t [l,h], yields exactly the same allocation and is hence irrelevant. 9 Ourmodelspecification isthusthe breakthrough typeinwhichonesuccess canresolve alltheuncertainty regarding the agent s type an assumption that is predominant in the experimentation literature. See, for instance, Keller et al. 2005) and Bonatti and Hörner 2011, 2017). 10 In reality, we rarely observe complete wage contracts in industries comprised of professionals. For instance, few academic institutions, if any, offer rewards specifically contingent on verifiable measures of output: salaries 6

9 to the principal and b > 0 to the agent; 11 otherwise, they both receive zero. Aside from this, the principal must also pay a flow wage w > 0 to the agent as long as the project continues. 12 We assume that w is exogenously given for most part; the case with an endogenous wage is briefly discussed in the concluding section. The reservation payoff is assumed to be zero for both players. The common discount rate is denoted by r 0, ). Contract: The only contractible decision for the principal in this environment is whether to set a deadline, and if so, at what point. If the principal commits to a deadline, she terminates the project at the deadline but never before) if the agent has not attained a success up to that point. If the principal chooses not to commit to any specific deadline, on the other hand, she retains discretion to terminate the project at any instant. As mentioned earlier, our analytical focus is on the latter case which requires that both players strategies be sequentially rational. 3 Analysis 3.1 Agent s effort decision The agent decides whether or not to exert high effort at each instant. To analyze this problem, it is important to note that the principal s belief affects the agent s payoff only through her termination decision. The agent s optimal effort choice thus depends only on the remaining time to the termination date hereafter, simply the remaining time), i.e., the maximum length of time for which the principal continues the project without attaining a success. The remaining time is obvious when the principal sets a deadline at time τ, in which case the remaining time at time t is simply given by τ t. Even without such an explicit commitment, however, the remaining time can be computed from the principal s equilibrium strategy in essentially the same manner as we shall discuss below. For now, we proceed with the presumption that the remaining time exists and is well-defined at any given point in time. are determined through bilateral negotiations, often dictated by market forces, in some countries whereas they are subject to bureaucratic regulations in others. One possible reason for the lack of complete wage contracts in those industries is that it is often difficult, and perhaps prohibitively costly, to measure the exact value of a success in a verifiable manner. Additionally, this assumption makes our analytical framework applicable to a wider range of circumstances. One such possibility is that the benefit of achieving a success accrues from non-transferrable psychological) gains such as prestige, authority, and the sense of achievement, and extrinsic rewards are hence of secondary importance. There are also many cases where contingent monetary transfers are neither feasible nor desirable, as in a professor-student relationship. 11 Anobviousinterpretationisthaty andbrepresentthecontinuationpayoffsofachievingasuccess, including not only the intrinsic value of a successful outcome but also other benefits of identifying/signaling talent. 12 Alternatively, w can be regarded as a flow cost of production e.g., hiring an agent). Of course, under this interpretation, w is no longer a transfer payment to the agent and does not appear in his payoff. It is straightforward to make the setup consistent with this interpretation without having any qualitative impact on our results. 7

10 The agent s problem is rather straightforward since the mediocre type, knowing that his marginal value of effort is zero, never exerts high effort. As such, we can focus on the good type whom we refer to simply as the agent in what follows. Denote by Uk) the agent s value function when the remaining time is k. Taking k > 0 as given, the value function can be written as Uk) = max λa b d a +w)dt+e rdt 1 λ a dt)uk dt) ). a {l,h} Taking the limit dt 0, we obtain the Bellman equation: ruk) = max λa b d a +w λ a Uk) Uk) ), 1) a {l,h} with lim k 0 Uk) = 0. It is clear from this that the agent chooses high effort if and only if λ b Uk) ) d. As usual in this type of setup see, e.g., Bergemann and Hege, 2005), the continuation payoff Uk) captures the agent s reservation payoff which he receives in case of a failure. The cost of not succeeding today is obviously small when he has a high reservation payoff. Since the continuation payoff is higher when the agent has more time to prove himself, the agent has a stronger incentive to work hard as the project approaches the termination date. This is a manifestation of the deadline effect that lies at the core of our entire analysis. Proposition 1 If d > rb w λ λ l +r, 2) there exists k such that the good type exerts high effort if the remaining time is less than or equal to k and low effort otherwise. The threshold k is given by k = 1 λ h +r ln 1 λ h+r)b d )) λ λ h b d+w if b > d λ, d 0 if λ b. If 2) does not hold, the agent always exerts high effort. Proof: See Appendix. 3) When λ b d, the static incentive is too weak for the agent to exert high effort for any remaining time. In contrast, when 2) fails to hold, the static incentive is strong enough to overcome the dynamic agency cost, and the agent is willing to supply high effort under any circumstance. As these cases only result in trivial solutions and are clearly of less interest for the question we pose here, we restrict our attention to the case where the strength of the static incentive lies in some intermediate range by making the following assumption. 8

11 Assumption 1 λ hb d+w λ h +r > b d λ > 0. Among other things, the assumption implies that the optimal threshold k is bounded from above and away from zero, i.e., k 0, ). 3.2 Principal s termination decision Let p t denote the principal s belief that the agent is good at time t, conditional on no success having occurred. Given some effort sequence {a s } t s=0, the updated belief is then given by p t = p 0 e t 0 λas ds Alternatively, taking the time derivative, we obtain 1 p 0 +p 0 e t 0 λas ds. 4) ṗ t = λ at p t 1 p t ). 5) It is clear that the belief is strictly decreasing over time for any effort choice due to the fact that λ l > 0) until the agent attains a success, in which case the belief immediately jumps up to one. The principal s problem is to determine when to terminate the project, conditional on no success having occurred. Now suppose that the principal intends to terminate the project at time τ > t. Taking the effort sequence as given, the principal s continuation payoff can also be written as a function of the remaining time k and the current belief p t where subject to 5). Vk,p t ) = t+k t λ as p s y w)e s t λau p u+r)du ds, It is immediate to see that for a given effort level, there exists a threshold belief below whichtheprincipal sinstantaneouspayoffisstrictlynegative. Wedenotebyq a := min{ w λ ay,1} the break-even belief at which the instantaneous payoff equals zero under effort a. Combined with the fact that the belief is strictly decreasing over time for any effort sequence, q h represents the absolute lower bound of the belief, as the principal clearly has no incentive to continue the project once her belief dips below this level. Since the belief must reach this level sooner or later due to the fact that λ l > 0 and w > 0), the presence of such a lower bound suggests that the game must end in some finite time. This allows us to solve the game by backward induction. Finally, if the value of a success is too small, the model only admits a trivial solution where the principal chooses to stop immediately or not to hire the agent in the first place). In what follows, therefore, we assume that the value of a success is large enough for the principal to hire the agent at least for some positive duration. 9

12 Assumption 2 p 0 > q h = w λ h y. Since the principal s continuation payoff depends on her belief, it is often convenient for the subsequent analysis to explicitly relate the current and termination beliefs to the remaining time. Suppose that the current belief is p and the principal intends to terminate the project when the belief reaches q. If the agent adopts the best response, the remaining time can be written as Kp,q) such that which reduces to pe λ lmax{kp,q) k,0} λ h min{kp,q),k } 1 p+pe λ lmax{kp,q) k,0} λ h min{kp,q),k } = q, pe λ lkp,q) λ k 1 p+pe λ lkp,q) λ k = q, if Kp,q) > k. In addition, it is also convenient to define a backward operator φq) such that φq)e λ hk 1 φq)+φq)e λ hk = q. The backward operator suggests that if p t = φq) and the agent exerts high effort for t [t,t+k ], then p t+k = q; alternatively, if the agent expects the project to be terminated at p t = q, φq) indicates the belief at which he must switch to high effort. Note that these two notions are closely related in that Kp,q) > k if and only if p > φq). 4 Equilibrium 4.1 The cooperative solution: a benchmark Before we move on to analyze our model, we first examine as a benchmark the case where both the principal and the agent attempt to maximize the sum of their individual payoffs to derive the first-best allocation. More precisely, the instantaneous payoff in the cooperative case, common to both players, is the difference between the expected benefit from a success minus the effort cost, i.e., λ a py +b) d a for a given effort a. 13 The agent s problem is essentially the same and only needs a slight modification. Letting Ũk) denote the agent s continuation payoff, the agent exerts high effort if and only if λ y +b) Ũk) ) d. 13 If the agent shared the same objective as we assume here, his private information could in principle be induced at no cost: given that the agent s reservation payoff is zero, the mediocre type is indifferent between participating and dropping out immediately before time 0), as he would obtain zero payoff in either case for any given deadline. As it turns out, however, the optimal deadline is independent of the initial belief p 0 and the analysis holds irrespective of whether or not the principal can immediately screen out the mediocre type. 10

13 As in the noncooperative case, there exists a threshold k such that the good type exerts high effort if and only if the remaining time is less than or equal to k. Under the maintained assumptions, one can easily verify that the agent is generally more motivated in the cooperative case than in the noncooperative case, i.e., k > k. Given this, it is fairly straightforward to derive the cooperative solution. Since there is no social cost of hiring the mediocre type, the joint surplus from hiring the agent is strictly positive for any belief level, and as such, it is efficient for the principal to continue the project indefinitely until a success is attained. This implies that the good type will eventually succeed at some point, although he only exerts low effort all the way if k is finite. Proposition 2 In the cooperative case, the principal never terminates the project, and the game continues indefinitely. The agent always exerts low effort if and high effort otherwise. d > rb+y) λ λ l +r, 6) Proof: See Appendix. Note the difference between 2) and 6). In the cooperative case, the joint expected payoff of exerting low effort indefinitely is rb+y) λ l +r because the value of a success is now b+y, instead of just b, and there is no flow cost w. 4.2 The commitment solution The principal s problem under commitment is to choose a termination date τ which maximizes herexpectedpayoffattime0whilerestrictingattention todeterministicdeadlines. 14 Wefocus exclusively on deterministic deadlines primarily because it is generally difficult to commit to a lottery, even when it is possible to commit to a particular termination date. To see this point, consideracontract wheretheprincipalterminates theprojectatτ 1 orτ 2, τ 1 < τ 2, each with probability strictly less than one. At time τ 1, however, the principal s preferences are generically strict, i.e., it is strictly better either to stop the continuation payoff is negative) or to continue positive), so that there is no incentive to randomize at that point. If it is strictly better to stop at time τ 1, for instance, the principal stops at time τ 1 with probability one but 14 If stochastic deadlines are feasible, the principal may screen out the low type by offering a menu of contracts, one with a deterministic deadline and the other with stochastic ones. We do not pursue this possibility both because we do not think that it is realistic given the enforcement problem) and because it is outside the scope of our analysis given that our focus is on comparing the commitment and no-commitment solutions). Note that this screening cannot be done if deadlines are deterministic, because both types always strictly prefer a longer deadline. 11

14 knowing that, the contract is effectively reduced to the one with a deterministic deadline. The lack of credible enforcement is perhaps the reason why we almost never observe a contract with stochastic deadlines. As we have already seen, the agent exerts high effort if and only if the remaining time is less than or equal to k. We denote by V k,p t ) the continuation payoff when the agent adopts this best response, where k is the remaining time and p t is the principal s belief. This can be written as V k,p t ) = t+ν t λ l p s y w)e s 0 λ lp u+r)du ds +e t+ν λ t l p u+r)du t+k t+ν λ h p s y w)e s ν λ hp u+r)du ds = p tπ l λ l +r 1 e λl+r)ν )+ p te λl+r)ν π h 1 e λh+r)k ν) ) 1 p t)w 1 e rk ), λ h +r r 7) where ν := max{k k,0} and π a := λ a y w. The first two terms represent the expected gain from the good type whereas the last term represents the expected loss from the mediocre type. Since the termination date is equivalent to the remaining time at time 0, the commitment solution, denoted by τ C, is given by τ C p 0 ) := argmax τ V τ,p 0 ). The continuation payoff is continuous but kinked at τ = k. For τ 0,k ), the first-order condition is given by For τ k, ), it is given by Mτ,p 0 ) := p 0 e λ l+r)τ k ) p 0 π h e λ hτ 1 p 0 )w = 0. 8) ) π l λ l +r λ h +r π h1 e λ h+r)k ) To better understand this condition, it is instructive to rewrite this as 1 p 0 )we rτ = 0. 9) p0 π h e λ lτ k )+λ h k ) 1 p 0 )w ) e rτ = p 0 λ e λ l+r)τ k ) w +ry+πh e λ ) h+r)k. λ h +r Note that the left-hand side is the expected instantaneous payoff for the principal at the time of termination, whereas the right-hand side is the marginal cost of extending the deadline. Since the right-hand side is strictly positive, the principal must set the deadline at a point where the expected instantaneous payoff is positive if τ > k. 12

15 Since the instantaneous payoff is negative for any effort level once the belief dips below q h, there is clearly no incentive to set τ > Kp 0,q h ). When the initial belief is sufficiently close to q h φq h ) p 0 ), it is optimal to let the agent work until the belief reaches this lower bound. When it is far from it p 0 > φq h )), on the other hand, the principal must terminate the project at a point where the belief is still above the lower bound. There are two cases, depending on the value of Mk,p 0 ). 15 If λ l +r λ h +r π h1 e λ h+r)k ) > π l, 10) Mk,p 0 ) < 0 for any p 0 q h,1), and we let ˆp = 1 in this case. If 10) fails to hold, on the other hand, there exists a unique ˆp such that Mk, ˆp) = 0. Then, for p 0 > ˆp, there exists a unique interior solution ˆτp 0 ) such that Mˆτp 0 ),p 0 ) = 0. When the initial prior is in this range, it is not so costly to have a phase where the agent exerts low effort, and as such, the principal would wait beyond time k. Of course, extending the deadline beyond time k means that the agent would slack off at the beginning, thereby pushing back the realization of the high-effort phase. The principal trades off the gain of inducing low effort for an additional instant against the cost of realizing the high-effort phase an instant later and sets the termination date at a point where they are equalized. For clarity, we summarize the set of parameters by Θ := b,y,w,d,λ h,λ l,r). We can then make the following statement. Proposition 3 For any given set of parameters Θ,p 0 ) satisfying Assumptions 1 and 2, there exists a unique commitment solution τ C p 0 ) 0,Kp 0,q h )]. For φq h ) p 0, the commitment solution is given by τ C p 0 ) = Kp 0,q h ). For p 0 > φq h ), there exists some ˆp q l,1] such that τ C p 0 ) = { k if ˆp p 0 > φq h ), ˆτp 0 ) if p 0 > ˆp, where: i) ˆp > q l if 1 > q l ; and ii) ˆp = 1 if and only if 10) holds. The commitment solution is weakly increasing in p 0. Proof: See Appendix. Note that Kp 0,q h ) constitutes the upper bound of τ C p 0 ). Since Kp 0,q h ) is bounded from above when q h > 0, the proposition suggests that the project must be terminated in finite time, meaning that some good projects are bound to be terminated prematurely. This draws clear contrast with the cooperative solution where the project is never terminated. 15 Note that Mk,p 0) < 0 for any k > k and p 0 if and only if Mk,p 0) < 0. 13

16 4.3 The no-commitment solution The situation becomes more complicated, and perhaps more intriguing, when the principal makes no commitment at the outset and hence her termination decision must be sequentially rational. Because of this, the principal s termination strategy now needs to be specified in a different way, as her strategy off the equilibrium path after the project is supposed to be terminated) may matter. More precisely, the principal s strategy is given by a set of termination dates T which consists of a first termination date and further dates along off-equilibrium continuation paths. Formally, for this no-commitment case, we solve for a pure-strategy perfect Bayesian equilibrium hereafter, simply an equilibrium) in which the principal terminates the project with probability one at each termination date a formal definition is given below). 16 To illustrate how we specify the principal s strategy, consider a simple example where the principal s strategy consists of two distinct termination dates, i.e., T = {τ 1,τ 2 } where τ 1 < τ 2. Under this strategy, the principal terminates the project with probability one at each τ i, i = 1,2, conditional on the continuation of the game. 17 This means that the project is surely terminated at time τ 1 on the equilibrium path. To show that this constitutes an equilibrium, however, one must assure that the principal cannot profitably deviate from this strategy. To see this, suppose that the principal unexpectedly continues the project at time τ 1. The game then enters into a new phase where the agent now expects the project to be terminated at the next termination date τ 2 and chooses his effort accordingly a t = h if k τ 2 t and a t = l otherwise). Note also that the principal s belief about the agent s type is not affected by the deviation: given T and the agent s best response, we can still apply Bayes rule to compute how the belief evolves both on and off the equilibrium path. 18 This gives the continuation payoff when the principal deviates which must be non-positive. How long does this process continue? It generally goes on until the principal has no 16 We restrict our attention to pure-strategy equilibria by assuming that the principal terminates the project with probability one when the continuation payoff is zero. Since the principal is actually indifferent at this point, however, there may exist other mixed-strategy equilibria in which the principal terminates the project with probability less than one at each termination date. We do not pursue this possibility for two reasons. First, we do not believe that such an equilibrium is particularly realistic and hence appealing. Second, even with randomization, the game still must end with probability one by time τ 1, and the continuation equilibrium is exactly the same once the game enters the final interval τ 1,τ 2 ); solving backwards, one can see that the structure of equilibrium is essentially the same where the agent starts exerting high effort as t approaches each termination date and switches back to low effort if the project is not terminated at the termination date. 17 If the game continues beyond time τ 2, the principal terminates the project immediately as we will see below. 18 Technically, we assume that the belief depends only on the agent s past effort and is given by 4) even off the equilibrium path. This is actually the no signaling what you don t know condition Fudenberg and Tirole, 1991) although it is a rather obvious restriction in games with two players it only implies that the principal s belief should not be affected by her own deviation). 14

17 incentive to continue the project regardless of the agent s effort choice or, in other words, until the belief reaches the lower bound q h. With slight abuse of notation, we denote by p t the equilibrium belief at time t, conditional on the continuation of the game including the off-equilibrium path). Let τ n denote the time at which p t reaches q h for some n which is unknown at this point). We can then restrict our attention to t 0,τ n ], for it is a dominant strategy for the principal to terminate the project once the belief reaches this lower bound. 19 Lemma 1 In any equilibrium, T is a finite set. Proof: The lemma is directly implied by the fact that any two adjacent termination dates must satisfy τ i τ i 1 k > 0. To see this, suppose otherwise, i.e., k > τ i τ i 1. Suppose further that the principal deviates and continues the project at time τ i 1. Then, it is strictly better for the agent to exert high effort because k > τ i τ i 1. Note, however, that since p t > q h for any t 0,τ n ) by definition, the instantaneous payoff is strictly positive until the belief reaches the next termination belief. This is a contradiction because the principal can strictly benefit from deviating and not stopping at time τ i 1. Given this, it is clear that we can only have finitely many termination dates in 0,τ n ]. Given this result, we denote each element of T by τ i where τ 1 < τ 2 < < τ n for some n. Accordingly, the game is divided into n distinct segments T i, i = 1,2,...,n by termination dates, where T i = τ i 1,τ i ) for i = 1,2,...,n with τ 0 = 0. The remaining time at time t is now given by τ i t for t T i while it is zero for all t > τ n see footnote 19). Let q i := p τ i denote the corresponding termination belief. Only the first segment T 1 is actually played on the equilibrium path, as the game ends with probability one by the time the game reaches time τ 1. For expositional clarity, we call τ 1 the no-commitment solution and denote it by τ NC p 0 ) to indicate its dependence on p 0. The formal definition of our equilibrium is given below. Definition 1 A perfect Bayesian equilibrium in this game is a pair of strategies {a s } s=0 and T := {τ i } n i=1 and a belief system such that: given T, the good-type) agent chooses a t at each t to maximize his continuation payoff, i.e., chooses high effort if and only if the remaining time at time t is less than or equal to k ; 19 Suppose that the principal deviates and continues beyond time τ n. In this case, the principal s instantaneous payoff is negative even if the agent chooses a t = h, so that it is a dominant strategy to terminate immediately for all t > τ n. Given this, since the remaining time is invariably zero, the agent always chooses a t = h. This is the unique continuation equilibrium after time τ n although, to describe this process formally, we need to consider a discrete-time counterpart of our model where there is a minimum time unit, and take the limit as the time unit goes to zero). 15

18 given {a s } s=t and the current belief, the principal terminates the project at time t if and only if the continuation payoff is non-positive; The belief at time t depends only on the effort sequence {a s } t s=0 and is given by 4), both on and off the equilibrium path. To pin down the equilibrium termination dates, we need to pay closer attention to the principal s continuation payoff. Since the agent s best response is the same, the principal s continuation payoff can still bewritten as V k,p t ). Theonly difference is that theprincipal s strategy must now be sequentially rational, which amount to the following two equilibrium conditions which the principal s termination strategy T must satisfy. Condition T: i) q n = q h and ii) if n > 1, for each i = 2,...,n, V Kq i 1,q i ),q i 1 ) = 0. Condition C: For each i = 1,2,...,n, V τ i t,p t ) > 0 for all t T i. Condition T is the usual indifference condition that requires the principal to terminate the project when the continuation payoff when she deviates) is non-positive at each τ i. This indifference condition alone is in general not sufficient because the instantaneous payoff may not be monotonically decreasing over time: in any segment T i, the agent may start off with low effort, during which the instantaneous payoff could be so small that the principal is tempted to stop prematurely. Condition C assures that the principal does not stop before the intended termination date τ i is reached. The next result establishes that there exists a perfect Bayesian equilibrium that is always unique even under no commitment. Proposition 4 For any given set of parameters Θ,p 0 ) satisfying Assumptions 1 and 2, there exists a generically) unique pure-strategy equilibrium. Given Θ, the belief space q h,1) is partitioned into mθ) 1 distinct intervals {P j,p j 1 )} mθ) j=1 where P mθ) = q h and P 0 = 1. For p 0 P j,p j 1 ), j = 1,2,...,mΘ), the equilibrium strategies are as follows: The principal s equilibrium strategy is characterized by a set of n = mθ) j +1 distinct termination dates {τ i } n i=1 where qi = P i+j 1 and τ i τ i 1 > k ; 20 The agent exerts high effort if the remaining time is less than or equal to k and low effort otherwise. Moreover, if mθ) > 1, then q l > P As discussed in footnote 19, a t = 0 for all t τ n. 16

19 Proof: See Appendix A. As the proposition suggests, the structure of equilibrium is thoroughly characterized by how the belief space is partitioned into intervals. A crucial determinant of the partition {P j,p j 1 )} mθ) j=1 is the profitability under low effort which is captured by π l. 21 Below, we first briefly illustrate how we pin down mθ) and {P j,p j 1 )} mθ) j=1 from a given Θ in what follows, we simply denote m = mθ) to save notation). Once they are obtained, it is quite straightforward to derive the equilibrium strategy T for a given p 0. Suppose first that the profitability under low effort is sufficiently high, so that the principal s instantaneous payoff is positive even under low effort. In this case, the principal is not tempted to stop prematurely, and only Condition T is sufficient to pin down the equilibrium. Figure 1 depicts this situation where m = 1: the agent starts off with low effort and switches to high effort when the remaining time is k ; the principal stops when the belief reaches the lower bound P 1 = q h at time τ 1. Formally, m = 1 and hence n = 1 for all p 0 q h,1) if and only if V Kq l,q h ),q l ) > 0, i.e., q l π l λ l +r 1 e λl+r)ν )+ q le λl+r)ν π h 1 e λh+r)k ν) ) > 1 p t)w 1 e rk ), 11) λ h +r r where µ = max{kq l,q h ) k,0} see the proof of Proposition 4, especially Lemma 2, for more detail). Note that 11) depends only on Θ. The no-commitment solution τ NC p 0 ) is monotonic in p 0 if and only if this condition holds. [Figure 1 about here] In contrast, the instantaneous payoff may become negative under low effort when the success probability under low effort is relatively low, in which case we may have a situation where the principal s continuation payoff also becomes negative before the belief reaches q h. Figures 2 and 3 show the evolution of the belief and the expected payoff when m = 2 while fixing the principal s strategy at T = {τ 1 }. In the figures, q l is so high that the instantaneous payoff is negative for the entire interval during which the agent exerts low effort, and there exists a point τ in Figure 3) such that the continuation payoff is negative for t 0,τ ). This implies that T = {τ 1 } does not constitute an equilibrium as it violates Condition C. In this case, the game is divided into two segments, T 1 and T 2, as illustrated in Figure 4. The pair of strategies now satisfies the equilibrium conditions since the instantaneous payoff is always positive in T 1. Formally, if V Kq l,q h ),q l ) < 0, there must exist p q h,q l ) such 21 Note that the partition {P j,p j 1 )} mθ) j=1 is determined solely by Θ while q i depends also on the initial prior p 0. 17

20 that V Kp,q h ),p ) = 0, in which case we redefine P 1 = p and P 2 = q h. As above, m = 2 if and only if V Kq l,p 1 ),q l ) > 0. [Figures 2-4 about here] We can continue this process until we find P 1 such that V Kq l,p 1 ),q l ) > Once the partition is pinned down, we can then easily derive the equilibrium strategies: for p 0 P j,p j 1 ), the principal s equilibrium strategy consists of n = m i+1 termination dates where q i = P i+j 1 and i 1 τ NC = τ 1 = Kp 0,q 1 ), τ i = τ i +Kq i 1,q i ) for i = 2,3,...,n. i =1 Note also that q i 1 > φq i ) > q i because the continuation payoff is always strictly positive when the belief is in q i,φq i )), the range where the remaining time is less than k and the agent exerts high effort. This alternatively means τ i τ i 1 > k, i.e., the length between any two adjacent termination dates must be larger than k. Finally, we would also like to note that the constructed equilibrium is generically unique for any given set of parameters. This uniqueness result stems crucially from the fact that there is a lower bound of the belief q h below which the principal would never continue the project. As stated above, together with the fact that λ l > 0, this implies that the game must end in some finite time, which allows us to solve the game via backward induction analogously to the gap case of the durable-good monopoly problem Fudenberg et al., 1985). More precisely, since the agent s strategy depends only on the remaining time, we know exactly how the game must end as the belief approaches the lower bound. Applying this reasoning backward, we can identify a unique continuation equilibrium for each p t > q h and all the way back to the initial prior p 0. 5 Discussion 5.1 The value of commitment Our framework yields unique commitment and no-commitment solutions which enable us to directly assess the value of commitment to an evaluation deadline. Given that both τ C and τ NC can be written as functions of p 0, the expected equilibrium payoffs can also be written as functions of p 0. Let V C p 0 ) := V τ C p 0 ),p 0 ), V NC p 0 ) := V τ NC p 0 ),p 0 ). 22 When q l = 1, there is no such q 1 and m will go to infinity. If q l < 1, on the other hand, this process must converge after a finite number of rounds. 18

Deceptive Advertising with Rational Buyers

Deceptive Advertising with Rational Buyers Deceptive Advertising with Rational Buyers September 6, 016 ONLINE APPENDIX In this Appendix we present in full additional results and extensions which are only mentioned in the paper. In the exposition

More information

Bargaining, Contracts, and Theories of the Firm. Dr. Margaret Meyer Nuffield College

Bargaining, Contracts, and Theories of the Firm. Dr. Margaret Meyer Nuffield College Bargaining, Contracts, and Theories of the Firm Dr. Margaret Meyer Nuffield College 2015 Course Overview 1. Bargaining 2. Hidden information and self-selection Optimal contracting with hidden information

More information

Wars of Attrition with Budget Constraints

Wars of Attrition with Budget Constraints Wars of Attrition with Budget Constraints Gagan Ghosh Bingchao Huangfu Heng Liu October 19, 2017 (PRELIMINARY AND INCOMPLETE: COMMENTS WELCOME) Abstract We study wars of attrition between two bidders who

More information

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago September 2015 Abstract Rothschild and Stiglitz (1970) introduce a

More information

Combinatorial Agency of Threshold Functions

Combinatorial Agency of Threshold Functions Combinatorial Agency of Threshold Functions Shaili Jain 1 and David C. Parkes 2 1 Yale University, New Haven, CT shaili.jain@yale.edu 2 Harvard University, Cambridge, MA parkes@eecs.harvard.edu Abstract.

More information

Mechanism Design: Basic Concepts

Mechanism Design: Basic Concepts Advanced Microeconomic Theory: Economics 521b Spring 2011 Juuso Välimäki Mechanism Design: Basic Concepts The setup is similar to that of a Bayesian game. The ingredients are: 1. Set of players, i {1,

More information

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago December 2015 Abstract Rothschild and Stiglitz (1970) represent random

More information

Introduction. 1 University of Pennsylvania, Wharton Finance Department, Steinberg Hall-Dietrich Hall, 3620

Introduction. 1 University of Pennsylvania, Wharton Finance Department, Steinberg Hall-Dietrich Hall, 3620 May 16, 2006 Philip Bond 1 Are cheap talk and hard evidence both needed in the courtroom? Abstract: In a recent paper, Bull and Watson (2004) present a formal model of verifiability in which cheap messages

More information

Intrinsic and Extrinsic Motivation

Intrinsic and Extrinsic Motivation Intrinsic and Extrinsic Motivation Roland Bénabou Jean Tirole. Review of Economic Studies 2003 Bénabou and Tirole Intrinsic and Extrinsic Motivation 1 / 30 Motivation Should a child be rewarded for passing

More information

Module 16: Signaling

Module 16: Signaling Module 16: Signaling Information Economics (Ec 515) George Georgiadis Players with private information can take some action to signal their type. Taking this action would distinguish them from other types.

More information

Appendix of Homophily in Peer Groups The Costly Information Case

Appendix of Homophily in Peer Groups The Costly Information Case Appendix of Homophily in Peer Groups The Costly Information Case Mariagiovanna Baccara Leeat Yariv August 19, 2012 1 Introduction In this Appendix we study the information sharing application analyzed

More information

ECO 199 GAMES OF STRATEGY Spring Term 2004 Precepts Week 7 March Questions GAMES WITH ASYMMETRIC INFORMATION QUESTIONS

ECO 199 GAMES OF STRATEGY Spring Term 2004 Precepts Week 7 March Questions GAMES WITH ASYMMETRIC INFORMATION QUESTIONS ECO 199 GAMES OF STRATEGY Spring Term 2004 Precepts Week 7 March 22-23 Questions GAMES WITH ASYMMETRIC INFORMATION QUESTIONS Question 1: In the final stages of the printing of Games of Strategy, Sue Skeath

More information

A Bandit Model of Two-Dimensional Uncertainty

A Bandit Model of Two-Dimensional Uncertainty A Bandit Model of Two-Dimensional Uncertainty Rationalizing Mindsets Inga Deimen Julia Wirtz Universität Bonn February 15, 2016 Abstract We analyze a new type of bandit where an agent is confronted with

More information

Area I: Contract Theory Question (Econ 206)

Area I: Contract Theory Question (Econ 206) Theory Field Exam Summer 2011 Instructions You must complete two of the four areas (the areas being (I) contract theory, (II) game theory A, (III) game theory B, and (IV) psychology & economics). Be sure

More information

Government 2005: Formal Political Theory I

Government 2005: Formal Political Theory I Government 2005: Formal Political Theory I Lecture 11 Instructor: Tommaso Nannicini Teaching Fellow: Jeremy Bowles Harvard University November 9, 2017 Overview * Today s lecture Dynamic games of incomplete

More information

Teoria das organizações e contratos

Teoria das organizações e contratos Teoria das organizações e contratos Chapter 6: Adverse Selection with two types Mestrado Profissional em Economia 3 o trimestre 2015 EESP (FGV) Teoria das organizações e contratos 3 o trimestre 2015 1

More information

Economics 201B Economic Theory (Spring 2017) Bargaining. Topics: the axiomatic approach (OR 15) and the strategic approach (OR 7).

Economics 201B Economic Theory (Spring 2017) Bargaining. Topics: the axiomatic approach (OR 15) and the strategic approach (OR 7). Economics 201B Economic Theory (Spring 2017) Bargaining Topics: the axiomatic approach (OR 15) and the strategic approach (OR 7). The axiomatic approach (OR 15) Nash s (1950) work is the starting point

More information

Patience and Ultimatum in Bargaining

Patience and Ultimatum in Bargaining Patience and Ultimatum in Bargaining Björn Segendorff Department of Economics Stockholm School of Economics PO Box 6501 SE-113 83STOCKHOLM SWEDEN SSE/EFI Working Paper Series in Economics and Finance No

More information

Information obfuscation in a game of strategic experimentation

Information obfuscation in a game of strategic experimentation MANAGEMENT SCIENCE Vol. 00, No. 0, Xxxxx 0000, pp. 000 000 issn 0025-1909 eissn 1526-5501 00 0000 0001 INFORMS doi 10.1287/xxxx.0000.0000 c 0000 INFORMS Authors are encouraged to submit new papers to INFORMS

More information

Ex Post Cheap Talk : Value of Information and Value of Signals

Ex Post Cheap Talk : Value of Information and Value of Signals Ex Post Cheap Talk : Value of Information and Value of Signals Liping Tang Carnegie Mellon University, Pittsburgh PA 15213, USA Abstract. Crawford and Sobel s Cheap Talk model [1] describes an information

More information

Microeconomic Theory (501b) Problem Set 10. Auctions and Moral Hazard Suggested Solution: Tibor Heumann

Microeconomic Theory (501b) Problem Set 10. Auctions and Moral Hazard Suggested Solution: Tibor Heumann Dirk Bergemann Department of Economics Yale University Microeconomic Theory (50b) Problem Set 0. Auctions and Moral Hazard Suggested Solution: Tibor Heumann 4/5/4 This problem set is due on Tuesday, 4//4..

More information

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago January 2016 Consider a situation where one person, call him Sender,

More information

Bayes Correlated Equilibrium and Comparing Information Structures

Bayes Correlated Equilibrium and Comparing Information Structures Bayes Correlated Equilibrium and Comparing Information Structures Dirk Bergemann and Stephen Morris Spring 2013: 521 B Introduction game theoretic predictions are very sensitive to "information structure"

More information

Near-Potential Games: Geometry and Dynamics

Near-Potential Games: Geometry and Dynamics Near-Potential Games: Geometry and Dynamics Ozan Candogan, Asuman Ozdaglar and Pablo A. Parrilo September 6, 2011 Abstract Potential games are a special class of games for which many adaptive user dynamics

More information

Theory Field Examination Game Theory (209A) Jan Question 1 (duopoly games with imperfect information)

Theory Field Examination Game Theory (209A) Jan Question 1 (duopoly games with imperfect information) Theory Field Examination Game Theory (209A) Jan 200 Good luck!!! Question (duopoly games with imperfect information) Consider a duopoly game in which the inverse demand function is linear where it is positive

More information

Competition relative to Incentive Functions in Common Agency

Competition relative to Incentive Functions in Common Agency Competition relative to Incentive Functions in Common Agency Seungjin Han May 20, 2011 Abstract In common agency problems, competing principals often incentivize a privately-informed agent s action choice

More information

EC476 Contracts and Organizations, Part III: Lecture 2

EC476 Contracts and Organizations, Part III: Lecture 2 EC476 Contracts and Organizations, Part III: Lecture 2 Leonardo Felli 32L.G.06 19 January 2015 Moral Hazard: Consider the contractual relationship between two agents (a principal and an agent) The principal

More information

Entry under an Information-Gathering Monopoly Alex Barrachina* June Abstract

Entry under an Information-Gathering Monopoly Alex Barrachina* June Abstract Entry under an Information-Gathering onopoly Alex Barrachina* June 2016 Abstract The effects of information-gathering activities on a basic entry model with asymmetric information are analyzed. In the

More information

1 Web Appendix: Equilibrium outcome under collusion (multiple types-multiple contracts)

1 Web Appendix: Equilibrium outcome under collusion (multiple types-multiple contracts) 1 Web Appendix: Equilibrium outcome under collusion (multiple types-multiple contracts) We extend our setup by allowing more than two types of agent. The agent s type is now β {β 1, β 2,..., β N }, where

More information

Subjective Evaluation in the Agency Contract and the Reputation of the Principal

Subjective Evaluation in the Agency Contract and the Reputation of the Principal Subjective Evaluation in the Agency Contract and the Reputation of the Principal Shinsuke Kambe*** Faculty of Economics Gakushuin University 1-5-1 Mejiro Toshima-ku, Tokyo 171-8588 Japan October 2005 *

More information

The Impact of Organizer Market Structure on Participant Entry Behavior in a Multi-Tournament Environment

The Impact of Organizer Market Structure on Participant Entry Behavior in a Multi-Tournament Environment The Impact of Organizer Market Structure on Participant Entry Behavior in a Multi-Tournament Environment Timothy Mathews and Soiliou Daw Namoro Abstract. A model of two tournaments, each with a field of

More information

Contests for Experimentation

Contests for Experimentation Marina Halac Navin Kartik Qingmin Liu September 2014 Introduction (1) Principal wants to obtain an innovation whose feasibility is uncertain Agents can work on or experiment with innovation Probability

More information

Definitions and Proofs

Definitions and Proofs Giving Advice vs. Making Decisions: Transparency, Information, and Delegation Online Appendix A Definitions and Proofs A. The Informational Environment The set of states of nature is denoted by = [, ],

More information

Near-Potential Games: Geometry and Dynamics

Near-Potential Games: Geometry and Dynamics Near-Potential Games: Geometry and Dynamics Ozan Candogan, Asuman Ozdaglar and Pablo A. Parrilo January 29, 2012 Abstract Potential games are a special class of games for which many adaptive user dynamics

More information

A New and Robust Subgame Perfect Equilibrium in a model of Triadic Power Relations *

A New and Robust Subgame Perfect Equilibrium in a model of Triadic Power Relations * A New and Robust Subgame Perfect Equilibrium in a model of Triadic Power Relations * by Magnus Hatlebakk ** Department of Economics, University of Bergen Abstract: We present a new subgame perfect equilibrium

More information

This is designed for one 75-minute lecture using Games and Information. October 3, 2006

This is designed for one 75-minute lecture using Games and Information. October 3, 2006 This is designed for one 75-minute lecture using Games and Information. October 3, 2006 1 7 Moral Hazard: Hidden Actions PRINCIPAL-AGENT MODELS The principal (or uninformed player) is the player who has

More information

When to Ask for an Update: Timing in Strategic Communication

When to Ask for an Update: Timing in Strategic Communication When to Ask for an Update: Timing in Strategic Communication Work in Progress Ying Chen Johns Hopkins University Atara Oliver Rice University March 19, 2018 Main idea In many communication situations,

More information

Costly Expertise. Dino Gerardi and Leeat Yariv yz. Current Version: December, 2007

Costly Expertise. Dino Gerardi and Leeat Yariv yz. Current Version: December, 2007 Costly Expertise Dino Gerardi and Leeat Yariv yz Current Version: December, 007 In many environments expertise is costly. Costs can manifest themselves in numerous ways, ranging from the time that is required

More information

Cournot and Bertrand Competition in a Differentiated Duopoly with Endogenous Technology Adoption *

Cournot and Bertrand Competition in a Differentiated Duopoly with Endogenous Technology Adoption * ANNALS OF ECONOMICS AND FINANCE 16-1, 231 253 (2015) Cournot and Bertrand Competition in a Differentiated Duopoly with Endogenous Technology Adoption * Hongkun Ma School of Economics, Shandong University,

More information

The Role of Pre-trial Settlement in International Trade Disputes (1)

The Role of Pre-trial Settlement in International Trade Disputes (1) 183 The Role of Pre-trial Settlement in International Trade Disputes (1) Jee-Hyeong Park To analyze the role of pre-trial settlement in international trade dispute resolutions, this paper develops a simple

More information

Solving Extensive Form Games

Solving Extensive Form Games Chapter 8 Solving Extensive Form Games 8.1 The Extensive Form of a Game The extensive form of a game contains the following information: (1) the set of players (2) the order of moves (that is, who moves

More information

Economic Growth: Lecture 8, Overlapping Generations

Economic Growth: Lecture 8, Overlapping Generations 14.452 Economic Growth: Lecture 8, Overlapping Generations Daron Acemoglu MIT November 20, 2018 Daron Acemoglu (MIT) Economic Growth Lecture 8 November 20, 2018 1 / 46 Growth with Overlapping Generations

More information

Sender s Small Concern for Credibility and Receiver s Dilemma

Sender s Small Concern for Credibility and Receiver s Dilemma April 2012 Sender s Small Concern for Credibility and Receiver s Dilemma Hanjoon Michael Jung The Institute of Economics, Academia Sinica Abstract We model a dilemma that receivers face when a sender has

More information

George Georgiadis. Joint work with Jakša Cvitanić (Caltech) Kellogg School of Management, Northwestern University

George Georgiadis. Joint work with Jakša Cvitanić (Caltech) Kellogg School of Management, Northwestern University Achieving E ciency in Dynamic Contribution Games George Georgiadis Joint work with Jakša Cvitanić (Caltech) Kellogg School of Management, Northwestern University Cvitanić and Georgiadis E ciency in Dynamic

More information

Evolutionary Dynamics and Extensive Form Games by Ross Cressman. Reviewed by William H. Sandholm *

Evolutionary Dynamics and Extensive Form Games by Ross Cressman. Reviewed by William H. Sandholm * Evolutionary Dynamics and Extensive Form Games by Ross Cressman Reviewed by William H. Sandholm * Noncooperative game theory is one of a handful of fundamental frameworks used for economic modeling. It

More information

When to Ask for an Update: Timing in Strategic Communication. National University of Singapore June 5, 2018

When to Ask for an Update: Timing in Strategic Communication. National University of Singapore June 5, 2018 When to Ask for an Update: Timing in Strategic Communication Ying Chen Johns Hopkins University Atara Oliver Rice University National University of Singapore June 5, 2018 Main idea In many communication

More information

Introduction to Game Theory

Introduction to Game Theory Introduction to Game Theory Part 3. Dynamic games of incomplete information Chapter 3. Job Market Signaling Ciclo Profissional 2 o Semestre / 2011 Graduação em Ciências Econômicas V. Filipe Martins-da-Rocha

More information

On the Informed Principal Model with Common Values

On the Informed Principal Model with Common Values On the Informed Principal Model with Common Values Anastasios Dosis ESSEC Business School and THEMA École Polytechnique/CREST, 3/10/2018 Anastasios Dosis (ESSEC and THEMA) Informed Principal with Common

More information

Bayesian Persuasion Online Appendix

Bayesian Persuasion Online Appendix Bayesian Persuasion Online Appendix Emir Kamenica and Matthew Gentzkow University of Chicago June 2010 1 Persuasion mechanisms In this paper we study a particular game where Sender chooses a signal π whose

More information

Free (Ad)vice. Matt Mitchell. July 20, University of Toronto

Free (Ad)vice. Matt Mitchell. July 20, University of Toronto University of Toronto July 20, 2017 : A Theory of @KimKardashian and @charliesheen University of Toronto July 20, 2017 : A Theory of @KimKardashian and @charlies Broad Interest: Non-Price Discovery of

More information

Supplementary appendix to the paper Hierarchical cheap talk Not for publication

Supplementary appendix to the paper Hierarchical cheap talk Not for publication Supplementary appendix to the paper Hierarchical cheap talk Not for publication Attila Ambrus, Eduardo M. Azevedo, and Yuichiro Kamada December 3, 011 1 Monotonicity of the set of pure-strategy equilibria

More information

Repeated bargaining. Shiran Rachmilevitch. February 16, Abstract

Repeated bargaining. Shiran Rachmilevitch. February 16, Abstract Repeated bargaining Shiran Rachmilevitch February 16, 2017 Abstract Two symmetric players bargain over an infinite stream of pies. There is one exogenously given pie in every period, whose size is stochastic,

More information

The ambiguous impact of contracts on competition in the electricity market Yves Smeers

The ambiguous impact of contracts on competition in the electricity market Yves Smeers The ambiguous impact of contracts on competition in the electricity market Yves Smeers joint work with Frederic Murphy Climate Policy and Long Term Decisions-Investment and R&D, Bocconi University, Milan,

More information

Informed Principal in Private-Value Environments

Informed Principal in Private-Value Environments Informed Principal in Private-Value Environments Tymofiy Mylovanov Thomas Tröger University of Bonn June 21, 2008 1/28 Motivation 2/28 Motivation In most applications of mechanism design, the proposer

More information

Procrastination and Projects

Procrastination and Projects Procrastination and Projects Philipp Külpmann October 21, 215 Abstract In this paper I analyze a dynamic moral hazard problem in teams with imperfect monitoring in continuous time. In the model, players

More information

Design Patent Damages under Sequential Innovation

Design Patent Damages under Sequential Innovation Design Patent Damages under Sequential Innovation Yongmin Chen and David Sappington University of Colorado and University of Florida February 2016 1 / 32 1. Introduction Patent policy: patent protection

More information

Sorting via Screening vs. Signaling

Sorting via Screening vs. Signaling Sorting via Screening vs. Signaling - Static Frame and Experimental Evidence - Werner Güth and Fabian Winter 1. Introduction 2. Static Frame 3. Experimental Design 4. Main Findings 5. Conclusions 1. Introduction

More information

Sequential Games with Incomplete Information

Sequential Games with Incomplete Information Sequential Games with Incomplete Information Debraj Ray, November 6 For the remaining lectures we return to extensive-form games, but this time we focus on imperfect information, reputation, and signalling

More information

Moral Hazard: Part 1. April 9, 2018

Moral Hazard: Part 1. April 9, 2018 Moral Hazard: Part 1 April 9, 2018 Introduction In a standard moral hazard problem, the agent A is characterized by only one type. As with adverse selection, the principal P wants to engage in an economic

More information

What do you do when you can t use money to solve your problems?

What do you do when you can t use money to solve your problems? Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where

More information

Incompatibility Paradoxes

Incompatibility Paradoxes Chapter 22 Incompatibility Paradoxes 22.1 Simultaneous Values There is never any difficulty in supposing that a classical mechanical system possesses, at a particular instant of time, precise values of

More information

Optimal Incentive Contract with Costly and Flexible Monitoring

Optimal Incentive Contract with Costly and Flexible Monitoring Optimal Incentive Contract with Costly and Flexible Monitoring Anqi Li 1 Ming Yang 2 1 Department of Economics, Washington University in St. Louis 2 Fuqua School of Business, Duke University May 2016 Motivation

More information

Some Notes on Adverse Selection

Some Notes on Adverse Selection Some Notes on Adverse Selection John Morgan Haas School of Business and Department of Economics University of California, Berkeley Overview This set of lecture notes covers a general model of adverse selection

More information

The Revenue Equivalence Theorem 1

The Revenue Equivalence Theorem 1 John Nachbar Washington University May 2, 2017 The Revenue Equivalence Theorem 1 1 Introduction. The Revenue Equivalence Theorem gives conditions under which some very different auctions generate the same

More information

Towards a General Theory of Non-Cooperative Computation

Towards a General Theory of Non-Cooperative Computation Towards a General Theory of Non-Cooperative Computation (Extended Abstract) Robert McGrew, Ryan Porter, and Yoav Shoham Stanford University {bmcgrew,rwporter,shoham}@cs.stanford.edu Abstract We generalize

More information

Opting Out in a War of Attrition. Abstract

Opting Out in a War of Attrition. Abstract Opting Out in a War of Attrition Mercedes Adamuz Department of Business, Instituto Tecnológico Autónomo de México and Department of Economics, Universitat Autònoma de Barcelona Abstract This paper analyzes

More information

Payoff Continuity in Incomplete Information Games

Payoff Continuity in Incomplete Information Games journal of economic theory 82, 267276 (1998) article no. ET982418 Payoff Continuity in Incomplete Information Games Atsushi Kajii* Institute of Policy and Planning Sciences, University of Tsukuba, 1-1-1

More information

Strategic Abuse and Accuser Credibility

Strategic Abuse and Accuser Credibility 1 / 33 Strategic Abuse and Accuser Credibility HARRY PEI and BRUNO STRULOVICI Department of Economics, Northwestern University November 16th, 2018 Montréal, Canada 2 / 33 Motivation Many crimes/abuses

More information

Markov Perfect Equilibria in the Ramsey Model

Markov Perfect Equilibria in the Ramsey Model Markov Perfect Equilibria in the Ramsey Model Paul Pichler and Gerhard Sorger This Version: February 2006 Abstract We study the Ramsey (1928) model under the assumption that households act strategically.

More information

Correlated Equilibrium in Games with Incomplete Information

Correlated Equilibrium in Games with Incomplete Information Correlated Equilibrium in Games with Incomplete Information Dirk Bergemann and Stephen Morris Econometric Society Summer Meeting June 2012 Robust Predictions Agenda game theoretic predictions are very

More information

Contracts in informed-principal problems with moral hazard

Contracts in informed-principal problems with moral hazard Contracts in informed-principal problems with moral hazard Nicholas C Bedard January 20, 2016 Abstract In many cases, an employer has private information about the potential productivity of a worker, who

More information

Mechanism Design: Dominant Strategies

Mechanism Design: Dominant Strategies May 20, 2014 Some Motivation Previously we considered the problem of matching workers with firms We considered some different institutions for tackling the incentive problem arising from asymmetric information

More information

Implementation of the Ordinal Shapley Value for a three-agent economy 1

Implementation of the Ordinal Shapley Value for a three-agent economy 1 Implementation of the Ordinal Shapley Value for a three-agent economy 1 David Pérez-Castrillo 2 Universitat Autònoma de Barcelona David Wettstein 3 Ben-Gurion University of the Negev April 2005 1 We gratefully

More information

arxiv: v4 [cs.gt] 13 Sep 2016

arxiv: v4 [cs.gt] 13 Sep 2016 Dynamic Assessments, Matching and Allocation of Tasks Kartik Ahuja Department of Electrical Engineering, UCLA, ahujak@ucla.edu Mihaela van der Schaar Department of Electrical Engineering, UCLA, mihaela@ee.ucla.edu

More information

Dynamic Common Agency

Dynamic Common Agency Dynamic Common Agency Dirk Bergemann Juuso Välimäki January 2001 Abstract A general model of dynamic common agency with symmetric information is considered. The set of truthful Markov perfect equilibrium

More information

Duopoly and Project Uncertainty

Duopoly and Project Uncertainty Duopoly and Project Uncertainty An analysis of the Bertrand and Cournot duopolies under uncertainty for the buyer Draft Master Thesis Rik Bos Student 345327 June 2016 Erasmus School of Economics Master

More information

RECIPROCAL RELATIONSHIPS AND MECHANISM DESIGN

RECIPROCAL RELATIONSHIPS AND MECHANISM DESIGN RECIPROCAL RELATIONSHIPS AND MECHANISM DESIGN GORKEM CELIK AND MICHAEL PETERS A. We study an incomplete information game in which players can coordinate their actions by contracting among themselves. We

More information

A Theory of Financing Constraints and Firm Dynamics by Clementi and Hopenhayn - Quarterly Journal of Economics (2006)

A Theory of Financing Constraints and Firm Dynamics by Clementi and Hopenhayn - Quarterly Journal of Economics (2006) A Theory of Financing Constraints and Firm Dynamics by Clementi and Hopenhayn - Quarterly Journal of Economics (2006) A Presentation for Corporate Finance 1 Graduate School of Economics December, 2009

More information

Impatience vs. Incentives

Impatience vs. Incentives Impatience vs. Incentives Marcus Opp John Zhu University of California, Berkeley (Haas) & University of Pennsylvania, Wharton January 2015 Opp, Zhu (UC, Wharton) Impatience vs. Incentives January 2015

More information

DEPARTMENT OF ECONOMICS YALE UNIVERSITY P.O. Box New Haven, CT

DEPARTMENT OF ECONOMICS YALE UNIVERSITY P.O. Box New Haven, CT DEPARTMENT OF ECONOMICS YALE UNIVERSITY P.O. Box 208268 New Haven, CT 06520-8268 http://www.econ.yale.edu/ Economics Department Working Paper No. 25 Cowles Foundation Discussion Paper No. 1619 Information

More information

Experimentation, Patents, and Innovation

Experimentation, Patents, and Innovation Experimentation, Patents, and Innovation Daron Acemoglu Kostas Bimpikis Asuman Ozdaglar Abstract This paper studies a simple model of experimentation and innovation. Our analysis suggests that patents

More information

Organizational Barriers to Technology Adoption: Evidence from Soccer-Ball Producers in Pakistan

Organizational Barriers to Technology Adoption: Evidence from Soccer-Ball Producers in Pakistan Organizational Barriers to Technology Adoption: Evidence from Soccer-Ball Producers in Pakistan David Atkin, Azam Chaudhry, Shamyla Chaudry Amit K. Khandelwal and Eric Verhoogen Sept. 016 Appendix B: Theory

More information

PERISHABLE DURABLE GOODS

PERISHABLE DURABLE GOODS PERISHABLE DURABLE GOODS IN-KOO CHO AND LEONARDO REZENDE Abstract. We examine whether the Coase conjecture [7, 12, 4, 10] is robust against slight ability of commitment of the monopolist not to sell the

More information

A Principal-Agent Model of Sequential Testing

A Principal-Agent Model of Sequential Testing A Principal-Agent Model of Sequential Testing Dino Gerardi y Lucas Maestri z July 2011 Abstract This paper analyzes the optimal provision of incentives in a dynamic information acquisition process. In

More information

Equilibrium Refinements

Equilibrium Refinements Equilibrium Refinements Mihai Manea MIT Sequential Equilibrium In many games information is imperfect and the only subgame is the original game... subgame perfect equilibrium = Nash equilibrium Play starting

More information

Moral hazard in teams

Moral hazard in teams Division of the Humanities and Social Sciences Moral hazard in teams KC Border November 2004 These notes are based on the first part of Moral hazard in teams by Bengt Holmström [1], and fills in the gaps

More information

Are Obstinacy and Threat of Leaving the Bargaining Table Wise Tactics in Negotiations?

Are Obstinacy and Threat of Leaving the Bargaining Table Wise Tactics in Negotiations? Are Obstinacy and Threat of Leaving the Bargaining Table Wise Tactics in Negotiations? Selçuk Özyurt Sabancı University Very early draft. Please do not circulate or cite. Abstract Tactics that bargainers

More information

public-good prizes Katsuya Kobayashi December 28, 2017 Abstract

public-good prizes Katsuya Kobayashi December 28, 2017 Abstract Step-by-step group contests with group-specific public-good prizes Katsuya Kobayashi December 28, 2017 Abstract This study analyzes group contests with group-specific public-good prizes in which the step-by-step

More information

Continuity in Mechanism Design without Transfers 1

Continuity in Mechanism Design without Transfers 1 Continuity in Mechanism Design without Transfers 1 David Martimort and Aggey Semenov 3 This Version: March 16, 006 Abstract: We adopt a mechanism design approach to model communication between a principal

More information

Dating and Divorce. Li, Hao and Sergei Severinov Vancouver School of Economics University of British Columbia. August 9, 2018.

Dating and Divorce. Li, Hao and Sergei Severinov Vancouver School of Economics University of British Columbia. August 9, 2018. Dating and Divorce Li, Hao and Sergei Severinov Vancouver School of Economics University of British Columbia August 9, 2018 Abstract We introduce private information in an otherwise standard search and

More information

Indescribable Contingencies versus Unawareness and Incomplete Contracting

Indescribable Contingencies versus Unawareness and Incomplete Contracting Indescribable Contingencies versus Unawareness and Incomplete Contracting Wenjun Ma Burkhard C. Schipper Job Market Paper November 4, 204 Abstract Maskin and Tirole (999) postulated that even though agents

More information

Module 8: Multi-Agent Models of Moral Hazard

Module 8: Multi-Agent Models of Moral Hazard Module 8: Multi-Agent Models of Moral Hazard Information Economics (Ec 515) George Georgiadis Types of models: 1. No relation among agents. an many agents make contracting easier? 2. Agents shocks are

More information

Area I: Contract Theory Question (Econ 206)

Area I: Contract Theory Question (Econ 206) Theory Field Exam Winter 2011 Instructions You must complete two of the three areas (the areas being (I) contract theory, (II) game theory, and (III) psychology & economics). Be sure to indicate clearly

More information

Preliminary Results on Social Learning with Partial Observations

Preliminary Results on Social Learning with Partial Observations Preliminary Results on Social Learning with Partial Observations Ilan Lobel, Daron Acemoglu, Munther Dahleh and Asuman Ozdaglar ABSTRACT We study a model of social learning with partial observations from

More information

Parking Slot Assignment Problem

Parking Slot Assignment Problem Department of Economics Boston College October 11, 2016 Motivation Research Question Literature Review What is the concern? Cruising for parking is drivers behavior that circle around an area for a parking

More information

Common Knowledge and Sequential Team Problems

Common Knowledge and Sequential Team Problems Common Knowledge and Sequential Team Problems Authors: Ashutosh Nayyar and Demosthenis Teneketzis Computer Engineering Technical Report Number CENG-2018-02 Ming Hsieh Department of Electrical Engineering

More information

Better Monitoring... Worse Productivity?

Better Monitoring... Worse Productivity? Better Monitoring... Worse Productivity? John Y. Zhu 1 August 5, 2018 Abstract I study how the informativeness of monitoring within a firm affects the productivity of the firm s workers. When there is

More information

Comment on The Veil of Public Ignorance

Comment on The Veil of Public Ignorance Comment on The Veil of Public Ignorance Geoffroy de Clippel February 2010 Nehring (2004) proposes an interesting methodology to extend the utilitarian criterion defined under complete information to an

More information

Game of Platforms: Strategic Expansion in Two-Sided Markets

Game of Platforms: Strategic Expansion in Two-Sided Markets Game of Platforms: Strategic Expansion in Two-Sided Markets Sagit Bar-Gill September, 2013 Abstract Online platforms, such as Google, Facebook, or Amazon, are constantly expanding their activities, while

More information

Known Unknowns: Power Shifts, Uncertainty, and War.

Known Unknowns: Power Shifts, Uncertainty, and War. Known Unknowns: Power Shifts, Uncertainty, and War. Online Appendix Alexandre Debs and Nuno P. Monteiro May 10, 2016 he Appendix is structured as follows. Section 1 offers proofs of the formal results

More information