Game Theory

Volume 2013 (2013), Article ID 540487, 8 pages

http://dx.doi.org/10.1155/2013/540487

Research Article

Allocation Rules for Games with Optimistic Aspirations

Luisa Carpente,¹ Balbina Casas-Méndez,² Ignacio García-Jurado,¹ and Anne van den Nouweland³

¹Departamento de Matemáticas, Facultade de Informática, Universidade da Coruña, 15071 A Coruña, Spain

²Departamento de Estatística e IO, Facultade de Matemáticas, Universidade de Santiago de Compostela, 15782 Santiago de Compostela, Spain

³Department of Economics, 435 PLC, University of Oregon, Eugene, OR 97403-1285, USA

Received 13 February 2013; Revised 8 July 2013; Accepted 1 August 2013

Academic Editor: Charles S. Tapiero

Copyright © 2013 Luisa Carpente et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

A game with optimistic aspirations specifies two values for each coalition of players: the first value is the worth that the players in the coalition can guarantee for themselves in the event that they coordinate their actions, and the second value is the amount that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition. In this paper, in addition to presenting this model and justifying its relevance, we introduce allocation rules and extend the properties of efficiency, additivity, symmetry, and null player property to this setting. We demonstrate that these four properties are insufficient to find a unique allocation rule and define three properties involving null players and nullifying players that allow the identification of unique allocation rules. The allocation rules we identify are the Midpoint Shapley Value and the Equal Division Rule.

1. Introduction

In this paper we introduce games with optimistic aspirations, and we identify two allocation rules for such games—the Midpoint Shapley Value and the Equal Division Rule.

A game with optimistic aspirations specifies two values for each coalition of players: the first value is the worth that the players in the coalition can guarantee for themselves in the event that they coordinate their actions (where the word guarantee implies a very conservative attitude), and the second value is the amount that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition.

The two allocation rules that we define on the class of games with optimistic aspirations in this paper, the Midpoint Shapley Value and the Equal Division Rule, are found by extending the axioms that were used in Shapley [1] to define the Shapley Value and augmenting them with stronger versions of the null player property—the strong null player property, the nullifying player property, and the destroyer player property. The strong null player property and the destroyer player property lead to the Midpoint Shapley Value, while the nullifying player property leads to the Equal Division Rule.

This paper contributes to the field of cooperative game theory. Games with optimistic aspirations are inspired much in the same way in which von Neumann and Morgenstern [2] already introduced cooperative games, namely, as descriptions of situations that are devoid of a specific structure of negotiations but that capture the potential of coalitions of players when they cooperate. We add one element to the description of cooperative transferable utility games, namely, the optimistic aspirations of coalitions of players, to get a richer description than that which results from traditional cooperative games.

The resulting games with optimistic aspirations incorporate elements of the lower value approach, which associates with each coalition the lower value of the zero-sum game between coalition and its complement and which is an adaptation of the classical approach by von Neumann and Morgenstern [2] and was studied in more detail in Carpente et al. [3].

Games with optimistic aspirations bear similarity to interval games as introduced in Carpente et al. [4], which associate with every coalition of players the interval whose extremes are, respectively, the lower value and the upper value of the zero-sum game between coalition and coalition . However, as we will see in Section 3, neither the lower value nor the upper value reflects the possible asymmetries that may exist between the players and coalitions that are captured by the optimistic aspirations that we define.

Games with optimistic aspirations also bear superficial similarity to games with upper bounds as introduced in Carpente et al. [5]. In a game with upper bounds, there is some external bound on the maximum payoff that a coalition can possibly get and any proposed allocation has to respect these bounds. The difference between games with optimistic aspirations and games with upper bounds is subtle but important: in a game with upper bounds, there is some external bound on the maximum payoff that a coalition can possibly get, and any proposed allocation has to respect these bounds. In a game with optimistic aspirations, however, the optimistic aspirations model goals that coalitions have in mind and use in negotiations, but they do not constitute bounds on possible agreements that can be reached in the grand coalition.

Games with optimistic aspirations can be used to shed light on many situations. We name just a few for illustration: in minimal cost spanning tree situations the optimistic values identified in Bergantiños and Vidal-Puga [6] can be incorporated into a cooperative game with optimistic aspirations, while in queueing problems the optimistic estimates of the costs of coalitions identified in Maniquet [7] can be taken into account as optimistic aspirations. For more potential areas of application of games with optimistic aspirations, we refer the reader to Fiestras-Janeiro et al. [8].

The paper is organized as follows. In Section 2 we recall definitions and results from the literature that we will use later on in this paper. In Section 3 we introduce games with optimistic aspirations and provide the motivation for the introduction of this class of games. In this section we also identify two ways to decompose games with optimistic aspirations into basic games that are inspired by unanimity games and canonical games. In Section 4 we introduce allocation rules and extend the properties efficiency, additivity, symmetry, and null player property to the setting of games with optimistic aspirations. We demonstrate that the four properties obtained are insufficient to identify a unique allocation rule, and then we proceed by defining three properties related to null players and nullifying players that allow the identification of two allocation rules. We conclude in Section 5 with a summarization of the crucial thoughts and some possible implications for the advancement of cooperative game theory.

2. TU Games and Related Definitions

In this section we recall definitions and results from the literature that we will use later on in this paper.

Let be a finite set of players. We denote by the set of all subsets of , which are called coalitions. We adopt the common notation of denoting the cardinality of the player set by and the cardinality of a coalition by . A cooperative game with transferable utility (or a TU-game) is a pair consisting of the set of players and a characteristic function that assigns to each coalition of players a value , with . It is common to identify a cooperative game with its characteristic function , because the player set can be reconstructed from the domain of the characteristic function. We denote by the class of TU games with set of players , and we denote by the class of TU games with a finite set of players. A special game is the so-called zero game in which each coalition’s value equals , and this game is denoted by the symbol .

The class forms a vector space of dimension . We will use two different widely known bases of , the unanimity games basis and the canonical games basis. The unanimity games basis of consists of the unanimity games ,  , which are defined by if   with and if   with . Every can be written as a linear combination of unanimity games, , with unique unanimity coefficients for each . The canonical games basis of consists of the canonical games , , which are defined by if and if . Every can uniquely be written as a linear combination of canonical games as follows: .

An allocation rule for TU games is a map that associates a vector with every game . The Shapley Value is one such allocation rule, and in Shapley [1] this rule was found as the unique allocation rule for TU games that satisfies the four properties efficiency, additivity, symmetry, and the null player property (a more widely available source for this material is Winter [9]). An allocation rule for TU games satisfies efficiency if for all , it satisfies additivity if for any two TU games , it satisfies symmetry if for any and players such that for every coalition , and, finally, an allocation rule for TU games satisfies the null player property if for any and player such that for every coalition . There are several equivalent definitions of the Shapley Value, which is usually denoted by , and the definition that is closest to Shapley’s [1] work is given by for any TU-game and any player (remember that , , denote the unique unanimity coefficients).

A player such that for every coalition does not ever change the worth of a coalition of players by joining or deserting it and is called a null player in the TU-game . In contrast, a nullifying player (as introduced by van den Brink [10]) is one whose presence in a coalition causes the worth of the coalition to be equal to zero; that is, player is a nullifying player if for every coalition with . Van den Brink shows that an axiom that requires nullifying players in TU games to get a payoff 0, in conjunction with efficiency, additivity, and symmetry, leads to the Equal Division allocation rule that for every TU-game divides equally among all the players in .

3. Games with Optimistic Aspirations

In this section we introduce the definition of games with optimistic aspirations, and we provide the motivation for the introduction of this class of games. Also, we establish that every game with optimistic aspirations can be written as a linear combination of certain basic games with limited aspirations.

A game with optimistic aspirations and set of players is a pair of TU games with and for all . We denote the set of games with optimistic aspirations and set of players by , and we denote by the class of games with optimistic aspirations and a finite set of players. For every coalition , the pessimistic worth is the worth that the players in the coalition can guarantee themselves through appropriately chosen coordinated actions (where the word guarantee implies a very conservative attitude) and independent of the actions chosen by the players not in , while the optimistic worth denotes the worth that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition.

We explain games with optimistic aspirations as well as our motivation for introducing such games by means of a simple example. Consider an interactive situation that can be described by the following 2-player strategic-form game:

Suppose that the two players involved recognize that they can benefit from cooperation and both play their second action (i.e., row 2 and column 2), so that their joint payoffs are 11—much higher than for any other pair of strategies that the players can choose. However, the players have to figure out what side payments would be reasonable to use in order to give both of them the correct incentives to cooperate with each other. One approach to this question is the pessimistic approach that considers the TU-game in which each coalition is assigned the lower value of the zero-sum game between coalition and coalition and applies some allocation rule, for example, the Shapley Value, to obtain an allocation of the payoffs in this game. We refer the reader to Carpente et al. [3] for more extensive explanation as well as an axiomatization of the lower-value approach and suffice here by saying that this procedure applied to the situation in our example leads to the game with and .

A more optimistic perspective is to consider for each coalition the upper value () of the zero-sum game between coalition and coalition . This upper value assigns to each coalition the value that it can obtain under circumstances where it reacts optimally to the strategies played by the players outside the coalition under the assumption that those players are choosing their strategies with the purpose of holding the coalition members’ payoffs down. In our example, doing so would result in the game with and (please see Carpente et al. [4] for a more extensive explanation of the upper value).

However, as we clearly see in our example, neither the lower value nor the upper value reflects the clear asymmetries that exist between the two players in our simple example. In order to incorporate those, we consider the optimistic aspirations of coalitions—the value that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition. We define the optimistic aspirations of coalitions in our example as , , and , because these values are the maximum values that each of the coalitions can obtain in any reasonable play of the game (note that player 1 can obtain 10 without any negative effect on player 2’s payoff). Clearly, these optimistic aspirations reflect the asymmetry that exists between the two players in our example.

We think it is desirable to consider a model that takes this sort of optimistic information into account, while at the same time recognizing that the players have no strategies that guarantee them these optimistic payoffs. To this end, we introduce games with optimistic aspirations, which consist of a TU-game (for “pessimistic”) that gives for each coalition the value that the players in the coalition can guarantee themselves through the use of some appropriate coordinated strategy and a TU-game (for “optimistic”) that gives for each coalition its optimistic aspiration—the value that the players in could use as an aim in negotiations over payoffs in the grand coalition.

In our proofs later in this paper, we will use that we can decompose every game with optimistic aspirations into certain basic games. Since we have seen in Section 2 that the unanimity games , , form a basis of , it is tempting to use as a basis for , which is after all a subset of . However, , because it violates the condition for all that we have imposed on games with optimistic aspirations . In fact, is not a vector space because the condition for all implies that if such that , then .

In the following theorem we identify a basis of by establishing that every game can be written as a linear combination of games with optimistic aspirations and in a unique way.

Theorem 1. Every game with optimistic aspirations can be written as a linear combination of games in the family in a unique way.

Proof. Let . We use that every can be written as with unique unanimity coefficients , . From this we derive that

Notice that is not in for any (because ). However, in expression (2) we can replace the game by the game , as we demonstrate in the following.

If , , then , so that

If , then

Using (3) and (4) in (2), we derive

where we take the term outside the summation signs because it appears in both the first and the second summation.

We now turn to demonstrating that the decomposition in (5) is unique. Let , , , , and be generic coefficients such that

Then, obviously,

It thus follows from (7) and the uniqueness of the unanimity coefficients that

and it follows from (8) and the uniqueness of the unanimity coefficients that

Combining (11) and (9), we obtain

Equalities (9), (12), and (13) demonstrate that the decomposition in (6) is necessarily the same as that in (5) (note that (10), (12), and (13) are mutually consistent, as is demonstrated in the sequence of equalities ).

We can also identify a basis of consisting of canonical games. We demonstrate this in the following theorem.

Theorem 2. Every game with optimistic aspirations can be written as a linear combination of games in the family in a unique way.

Proof. Let . We use that every can be written as in terms of the canonical basis of . We easily derive that

Unlike with the unanimity games (see Theorem 1), there is no problem with any of the games in (14) not being in . This holds because for all and .

4. Allocation Rules and Properties

The objective of this paper is to find reasonable allocation rules for the class of games with optimistic aspirations .

Definition 3. An allocation rule on is a map that associates a vector with every .

We have in mind to find an extension of the Shapley Value, and therefore, we start by looking for allocation rules that satisfy axioms similar to those that axiomatize the Shapley Value on the class of games . In the following, we extend these properties, which we explained in Section 2, to allocation rules for games with optimistic aspirations.

Efficiency (EFF). Allocation rule satisfies EFF if for all

Additivity (ADD). Allocation rule satisfies ADD if for every

Two players are said to be symmetric in if and for every coalition .

Symmetry (SYM). Allocation rule satisfies SYM if for every and players who are symmetric in

A player is said to be a null player in if and for every coalition .

Null Player Property (NPP). Allocation rule satisfies NPP if for every and player who is a null player in

In the following example, we demonstrate that the four properties defined previously do not determine a unique allocation rule for games with optimistic aspirations.

Example 4. We consider convex combinations of the Shapley Values and . For each , we define an allocation rule by

It follows easily from the fact that the Shapley Value on satisfies the appropriate efficiency, additivity, symmetry, and null player properties (as explained in Section 2) that satisfies EFF, ADD, SYM, and NPP for each . However, varying leads to different allocations for games with optimistic aspirations in which . For an example of such a game, consider the player set , and define the game with optimistic aspirations by , , and . Then and .

It is clear from Example 4 that we need to augment the set of axioms in order to pinpoint a unique allocation rule for games with optimistic aspirations. We will identify three different alternatives to the null player property, and we will show that each of these three, when used in conjunction with EFF, ADD, and SYM, leads to a unique allocation for each game . We discuss each of the three alternative axioms in turn.

4.1. The Strong Null Player Property

The strong null player property is a direct strengthening of NPP.

Strong Null Player Property (SNPP). Allocation rule satisfies SNPP if for every and it holds that (a) if is a null player in , then and (b) if is a null player in , then .

The SNPP implies the NPP. To see this, consider a game with optimistic aspirations and a player who is a null player in both and . Because is a null player in , it follows from application of SNPP of to the game with optimistic aspirations that . From this it follows that has to hold. Now, we can derive from SNPP and the fact that is a null player in that .

We show in the following theorem that the SNPP leads us to the allocation rule with , as defined in Example 4. We give this allocation rule the name Midpoint Shapley Value.

Definition 5. The Midpoint Shapley Value is the allocation rule on that associates with every the payoff vector .

Theorem 6. The Midpoint Shapley Value is the unique allocation rule on satisfying EFF, ADD, SYM, and SNPP.

Proof. It follows easily from the fact that the Shapley Value satisfies the appropriate efficiency, additivity, symmetry, and null player properties, that satisfies EFF, ADD, SYM, and SNPP. Let be an allocation rule on that satisfies the four properties. It suffices to demonstrate that is uniquely determined.

The fact that is not a vector space necessitates some caution when subtracting games. Suppose that and are two games in such that as well. Then ADD of implies that

so that

Now, let . We demonstrated in Theorem 1 (see (5)) that

which we rewrite as

It is easy to show that by first one-by-one adding the games in the first two lines of this expression and then one-by-one subtracting the games in the last line, we can obtain through a chain of games that all are in (the details are available from the authors on request). Thus, we can use ADD and (21) to derive from (23) that

Thus, it remains to prove that is uniquely determined on games with optimistic aspirations of the form appearing in (24).

Case 1. Let and . Consider the game . Clearly, all players in are null players in and thus by NPP (note that we can use NPP because it is implied by SNPP) for all . In addition, by EFF it must hold that , so that we obtain . Since all players in are symmetric in , it follows from SYM that for all , so that we find that for all must hold.

Case 2. Let and , . Consider the game . All players in are null players in , so that it follows from SNPP that for all . It follows from the Case 1 aforementioned that for all . By EFF it must hold that , so that we obtain . Since all players in are symmetric in , it follows from SYM that for all , so that we find that   for all must hold.

The Cases 1 and 2 aforementioned demonstrate that is uniquely determined (and equal to ) for all games with optimistic aspirations that appear in (24).

In principle, we can change the weights on and in the strong null player property. If, for some , we change these weights to and , respectively, then we would obtain the convex combination of the Shapley Values of and as the allocation rule satisfying EFF, ADD, SYM, and SNPP (this is easily verified by going through the proof of Theorem 6 and making the appropriate adjustments in Case 2, which is the only place where adjustments are needed). However, we see no motivation to treat the games and differently, and thus we use the weights .

Another option one may consider is to take the point of view that if a player is a null player in the game , then , the motivation for which could be that if player has no influence on the optimistic aspirations of coalitions, then player ’s allocation should be determined by his influence in solely. However, such a property, combined with ADD, EFF, SYM, and NPP, leads to the conclusion that for all games with optimistic aspirations , and thus the optimistic aspirations are not taken into account for any game (a proof is available from the authors upon request).

4.2. The Nullifying Player Property

Instead of concentrating on null players, we can also concentrate on nullifying players. Since a nullifying player’s presence prevents others from obtaining a positive worth, the other players may argue that such a player deserves no positive payoff. On the other hand, the nullifying player himself can argue that he deserves no negative payoff either since he can guarantee himself zero by not joining any others. The nullifying player property states that a nullifying player gets a payoff 0. We extend the nullifying player property to the setting of games with optimistic aspirations and investigate if replacing NPP with the new property determines an allocation rule.

A player is said to be a nullifying player in if for every coalition with .

Nullifying Player Property (NFPP). Allocation rule satisfies NFPP if for every and player who is a nullifying player in

We show in the following theorem that the NFPP leads us to the Equal Division allocation rule.

Definition 7. The Equal Division Rule is the allocation rule on that associates with every and player the payoff vector defined by .

Theorem 8. The Equal Division Rule is the unique allocation rule on satisfying EFF, ADD, SYM, and NFPP.

Proof. It follows easily and straightforwardly that satisfies EFF, ADD, SYM, and NFPP. Let be an allocation rule on that satisfies the four properties. It suffices to demonstrate that is uniquely determined. To do so, we use the canonical basis of , which consists of the games , , defined by if and if . Every can uniquely be written as a combination of canonical games as follows: .

Now, let . We demonstrated in Theorem 2 (see (14)) that

Like we did in the proof of Theorem 6, we can thus use ADD to derive that

Thus, it remains to prove that is uniquely determined on games with optimistic aspirations of the form appearing in (27).

Case 1. Let and , . Consider the games and . Clearly, all players in are nullifying players in and also in and thus by NFPP for all . In addition, by EFF it must hold that , so that we obtain . Since all players in are symmetric in and also in , it follows from SYM that and for all , so that we find that for all must hold.

Case   2. Let , and consider the game . By EFF it must hold that . Since all players in are symmetric in , it follows from SYM that for all , so that we find that for all must hold.

Remember that , so that we do not have to consider the game . Thus, Cases 1 and 2 mentioned previously demonstrate that is uniquely determined (and equal to ) for all games with optimistic aspirations that appear in (27).

4.3. The Destroyer Player Property

Instead of concentrating on the worths of coalitions that include a nullifying player, we can also concentrate on what happens to the worths of coalitions when a nullifying player joins it. Hence, instead of concentrating on the fact that a nullifying player causes the worth of any coalition he is a member of to be 0, we look at the change in worth that he causes when he joins various coalitions. To reflect this change of focus, we give an alternative (but equivalent) description of nullifying players.

A player is said to be a nullifying player in if for every coalition .

When a nullifying player joins a coalition of players, he destroys the worth that coalition could guarantee itself and also causes the optimistic aspiration to change from to . The destroyer player property (see the following) states that a nullifying player should get a payoff that is equal to the value that he destroys in expectation by joining a coalition, assuming that first the cardinality of a coalition is selected at random (from the range to ), then a coalition of that size is selected at random, and, finally, a random choice determines whether we consider the effect on or .

Destroyer Player Property (DPP). Allocation rule satisfies DPP if for every and player who is a nullifying player in

It turns out that DPP together with EFF, ADD, and SYM determines a unique allocation rule and that it is the Midpoint Shapley Value , which we already encountered in Theorem 6.

Theorem 9. The Midpoint Shapley Value is the unique allocation rule on satisfying EFF, ADD, SYM, and DPP.

Proof. With regard to existence, it remains to demonstrate that satisfies DPP. Let be a game with optimistic aspirations with a nullifying player . Then

where the second equality uses the definition of the Shapley Value and the third equality uses the fact that player is nullifying in .

To prove uniqueness, let be an allocation rule on that satisfies EFF, ADD, SYM, and DPP. It suffices to demonstrate that is uniquely determined. As in the proof of Theorem 8, we derive using ADD of that

Remember that , so that we do not have to consider the game . For games defined either by for some and , or by for some and with , the following reasoning holds: all players in are nullifying players in and thus by DPP

for all , which means that these values are uniquely determined. In addition, by EFF it must hold that , so that we obtain . Since all players in are symmetric in , it follows from SYM that for all , and thus we find that for all must hold. This uniquely determines for all .

5. Conclusions

In this paper we introduced games with optimistic aspirations in order to be able to capture more of the possible asymmetries between participants in various situations than is possible using existing cooperative game formulations. We also identified two allocation rules for games with optimistic aspirations by first extending the axioms efficiency, additivity, symmetry, and the null player property to the setting of games with optimistic aspirations and, after having shown that the four axioms EFF, ADD, SYM, and NPP do not identify a unique allocation rule, considering three possible alternatives of NPP, namely, the strong null player property, the nullifying player property, and the destroyer player property. We demonstrated that replacing the NPP with the SNPP or DPP leads to the Midpoint Shapley Value, while replacing it with the NFPP leads to the Equal Division Rule.

Thus, we now have a richer way of modeling situations in which there are deeper asymmetries between the participants in a cooperative framework, and we have two methods of allocating the gains from cooperation in such situations that have been identified on the basis of appealing properties. We anticipate that this new methodology will be very useful to obtain new insights into all sorts of cost allocation problems and intend to address specific applications in future research.

Acknowledgments

The authors thank Julio González-Díaz for suggesting the use of the canonical basis. They also acknowledge the financial support of the University of Santiago de Compostela, of Ministerio de Ciencia e Innovación through Projects ECO2008-03484-C02-02 and MTM2011-27731-C03, and of Xunta de Galicia through Project INCITE09-207-064-PR. Anne van den Nouweland acknowledges the hospitality and support of Universidade de Santiago de Compostela and Universidade da Coruña.

References

L. S. Shapley, “A value for -person games,” in Contributions to the Theory of Games, Vol. 2, H. Kuhn and A. Tucker, Eds., Annals of Mathematics Studies, no. 28, pp. 307–317, Princeton University Press, Princeton, NJ, USA, 1953.

J. von Neumann and O. Morgenstern, Theory of Games and Economic Behavior, Princeton University Press, Princeton, NJ, USA, 1944.

L. Carpente, B. Casas-Méndez, I. García-Jurado, and A. van den Nouweland, “Values of strategic games in which players cooperate,” International Journal of Game Theory, vol. 33, no. 3, pp. 397–419, 2005.

L. Carpente, B. Casas-Méndez, I. García-Jurado, and A. van den Nouweland, “Coalitional interval games for strategic games in which players cooperate,” Theory and Decision, vol. 65, no. 3, pp. 253–269, 2008.

L. Carpente, B. Casas-Méndez, I. García-Jurado, and A. van den Nouweland, “The truncated core for games with upper bounds,” International Journal of Game Theory, vol. 39, no. 4, pp. 645–656, 2010.

G. Bergantiños and J. J. Vidal-Puga, “The optimistic TU game in minimum cost spanning tree problems,” International Journal of Game Theory, vol. 36, no. 2, pp. 223–239, 2007.

F. Maniquet, “A characterization of the Shapley value in queueing problems,” Journal of Economic Theory, vol. 109, no. 1, pp. 90–103, 2003.

M. G. Fiestras-Janeiro, I. García-Jurado, and M. A. Mosquera, “Cooperative games and cost allocation problems,” TOP, vol. 19, no. 1, pp. 1–22, 2011.

E. Winter, “The Shapley value,” in Handbook of Game Theory with Economic Applications, R. Aumann and S. Hart, Eds., vol. 3, pp. 2025–2054, Elsevier North-Holland, 2002.

R. van den Brink, “Null or nullifying players: the difference between the Shapley value and equal division solutions,” Journal of Economic Theory, vol. 136, no. 1, pp. 767–775, 2007.