**Preliminary version** 30 November 2005

**Nir Dagan,** Academic College of Judea and Samaria, Ariel. <nir@nirdagan.com>

**Yossi Tobol,** Bar Ilan University, Ramat-Gan, and Academic College of Judea and Samaria, Ariel.

We analyze the interaction between the tax authority, tax payers, and potential informants in a game theoretic framework. The tax authority gives monetary incentives to informants, and conducts random tax audits. The probability of a tax payer being audited depends on whether the tax authority received a tip about him from an informant or not. In subgame perfect equilibrium tax payers are divided into (at most) two groups. Those with income up to a certain level evade a small amount of taxes to assure that potential informants do not have sufficient incentives to report, and those with high incomes choose to declare zero income knowing that they will be reported by informants. The tax authority chooses the probabilities of the two types of audits, under a budget constraint. In many cases the probabilities are chosen in a way that no informant actually reported, and in some cases the tax authority does not conduct any audits.

This article analyses interaction between tax payers, informants, and the tax authority, in a game theoretic framework. Our contribution may be viewed as either extending game theoretic models that consider only tax payers and the tax authority, in a game theoretic framework, or as extending the study of the role of informants to a more comprehensive framework than analyzed before.

The basic papers on tax evasion ask how a potential tax evader would report to the tax authority as a consequence of having solved an optimization problem. They further inquire how the level of reporting would change as a result of higher/lower tax rates. (See Allingham & Sandmo 1972; Srinivasan 1973 for more details).

The first paper on tax evasion analyzed in a game-theoretical method is Greenberg (1984). He analyzes interaction between a tax authority, which could classify a potential tax evader, and the tax evader. Of the three categories determined by the tax authority, the first is sampled randomly, and the so is the second, albeit at a lower probability than the first. The third category is examined consistently, that is, definitely. Thus, the tax authority investigates a potential evader. If she is caught, she is moved to the third category at the next tax period. Otherwise, she is moved to the first. Greenberg shows the in an equilibrium in which all players have all the knowledge and information available, a certain proportion of potential tax evaders will not be examined at all, while the others will always be examined.

Graetz, Reinganum and Wilde (1986a) studies a a normal form game between the tax authority and a tax payer. The paper examines each player�s behavior vis-�-vis the other. The potential evader decides whether to evade or not, and the tax authority decides to audit or not. They show when we can expect a pure versus mixed equilibrium. It focuses on the mixed variety, meaning that the potential evader evades at a positive probability, while the tax authority investigates at a positive probability.

Graetz, Reinganum and Wilde (1986b) studies an extensive form game. In the first phase, the potential evader reports his taxable income to the tax authority, and at the second, the tax authority uses that information to decide whether to investigate or not. Graetz et al. show that in equilibrium, the investigation policy is to focus on the lower reported incomes. This equilibrium result is interesting: despite the fact that the tax authority investigates the lower reported incomes, those with higher incomes report lower incomes than those with truly lower incomes. These results are applicable to linear taxation. (For more details and similar games, see Scotchmer 1987; Mookherjee & Png 1989; Sanchez & Sobel 1993 � all using the �principal agent� method).

Models of a different kind assume that there are two types of individuals: those who would never evade taxes � honest players � and those who may consider whether to evade based on incentives, or strategic players. In such a model, the resulting equilibrium is different, since the tax authority does not differentiate between player types before an audit, as opposed to the previous models where all individuals behave strategically. This approach is based on sociological and psychological literature (e.g., Cowell 1990; Erard & Feinstein 1994). Some models have combined tax evasion and corruption, such that the evader bribes the tax authority�s representative. Thus, in effect, the evader and the corrupt representative agree on a deal detrimental to the tax authority (Hindriks, Keen & Muthoo 1999; Marjit, Mukherjee & Mukherjee 2000; Saha 2003; Marjit, Mukherjee & Mukherjee 2003).

Despite the extensive literature on the subject, not a single paper has hitherto discussed tax evasion informants, apart from one (Yaniv 2001). Yaniv describes a common issue between the tax authority and a potential informant trying to decide whether to inform on a �colleague�, for example, his self-employed boss. One can also suggest the situation of a divorced couple, in which the woman considers informing on her husband as a form of revenge (see Elster 1988). The potential informant is can have several motives, such as strong integrity, loyalty to the rule of law, financial reward or revenge against the evader. The last two motives are of course the strongest, and we know for a fact that most such reports result from a personal conflict between the informant and the potential evader. In other cases, people inform for money (Yaniv 2001). In addition, Yaniv�s paper considers the tax authority�s side: it has to decide on the optimal reward for the informant and what effort it should make to have a certain report lead to conviction and punishment. Last but not least, the informant should decide whether to inform or not.

The rest of article is organized as follows:.....

There is a flat income tax of θ, 0<θ<1.
Tax payers declare their incomes to the tax authority, but may evade taxes by under reporting their true incomes. In order to enforce the tax law, the tax authority may audit tax payers randomly as well as using informants. Denote by p_{r} the probability that the tax authority will conduct a random audit, among those tax payers that no informant reported on, and by p_{i} is the probability that the tax authority will conduct an audit due to an informant's report.

The probability that a tax payer will be convicted of tax evasion, given that an audit took place is β, 0<β≤1. We assume that once convicted, the total under reporting is discovered. Thus we implicitly assume that the taxation authority cannot conduct different kinds of audits (possibly with different costs), and that the success rate is not a function of the under reported income. Once a tax payer is convicted of tax evasion, he pays the evaded tax times π, where π>1.

The tax authority motivates informants by paying them a bounty whenever a report leads to a conviction of a tax evader. The bounty to the informant is a proportion b, 0<b<1, of the total tax and fines collected from the tax evader. In addition informants may be motivated by a personal "revenge" motive. We assume, like Yaniv (2001), that each tax payer is coupled with a specific informant. (We use the term "informant" rather than the more accurate "potential informant".) This is based on the observation that informants are mostly disgruntled employees or jilted lovers or spouses. It may be argued that both informant's knowledge of the evasion, and his/hers negative feelings towards the tax payer are a result of their personal relationship.

We distinguish between the country's legistlation mechanisms and government, and the tax authority. We beleive that a tax authority would be typically restricted to follow the laws and implement policies decided by the former.

We assume that the tax authority may choose only p_{i} and p_{r}, and cannot influence β, b, π, and θ.
We assume that the bounty rate b is decided within the country's legistlation mechanisms, and may consider the general issue of rewarding citizens who assist law enforcing authorities. Likewise, the fine rate π is decided within the country's legistlation mechanisms, which may take into account jutice principles concerning the adequet punishment for illegal activities.
Also the tax rate θ is decided in a more general framework, that may take into account economic policy, government expenditure on public goods, tansfer payments policy, indirect taxes, etc.

The tax authority has a fixed budget B, B>0, for conducting tax audits. We assume it has several goals with the following priorities:

- Conduct tax audits without spending more than the budget allows.
- Maximize the total declared incomes. (The tax authority's "primary goal".)
- Maximize the total taxes and fines collected minus bounty payments. (The tax authority's "secondary goal".)

This means that first the tax authority chooses its policy variables to maximizes the total declared incomes, and if this problem has multiple solutions, it chooses among them those which maximize its taxation revenue.

Some models of taxation assume that the government maximizes the total taxes and fines collected minus costs. Our assumption takes into account that the tax authority is one of many government authorities, and as such it faces a budget consraint. The earnings from taxation are not added to the budget of the tax authority, but finance all the government's activities.

We believe that a democratic regime considers the citizens' law conformity as an important social goal. In the context of income tax, this may be measured by having the declared incomes as close as possible to the true ones. Maximizing the total declared incomes may be viewed as quantifying citizens' law conformity.

The cost function of auditing C, is only a function of the proportion of tax payers being audited, it is strictly increasing in this variable, and C[0]=0.

We make an additional assumption regarding the cost of auditing and the budget for auditing:

**Assumption 1**

C[Min{1/βπ,1}]>B where B>0 is the budget for auditing.

Assumption 1 guaranties that the tax authority cannot audit all tax payers, and that it cannot audit a high enough proportion, to make tax evasion not worthwhile.

We use the term "blowing the whistle" rather than reporting the tax payer to the tax authority. Once the tax payer declared his income, the informant chooses a probabilty q, 0≤q≤1 in which he blows the whistle. The informant's expected utility gain may be different from zero only if he blows the whistle. Thus whenever q>0. His utility gain involves direct monetary compensation from the tax authority, as well as non monetary gains due to the informant's "revenge motive".

When blowing the whistle, the informant suffers a cost K, K>0, that may be composed of both monetary and non-monetary components.

Denote by y, y≥0, the tax payer's true taxable income, and by x, 0≤x≤y, his declared income. βp_{i}bπθ(y-x) is the expected monetary compensation the informat receives once he blew the whistle.

In addition, once the tax payer is convicted, the informant gains a non-monetary utility of rπθ(y-x)+R, where r≥0 and R≥0 are utility parameters of the informat. The informant's non-monetary payoff is normalized to its monetary equivalent.

Therefore the informant's expected utility gain, assuming he is risk neutral, is:

EUG(q,y-x) = q[βp_{i}((b+r)πθ(y-x)+R)-K].

The tax payer expected net income (ENI) is the sum of his net legitimate income (NLI) and the expected net evaded tax (ENET).

The tax payer's expected net income is therefore:

ENI(q,y,y-x) = NLI(y) + ENET(q,y-x), where NLI(y) = (1-θ)y, and ENET(q,y-x)= (y-x)θ(1-βπ(qp_{i}+(1-q)p_{r})).

The players in the game are the tax payers, their associated informants, and the tax authority.

There is a continuum of tax payers, each of which is coupled with an informant. Every tax payer is negligble.

Formally, Let ⟨A,σ,μ⟩ be a measure space, where A=[0,1] is the set of tax payers-informant pairs, σ the collection of all measurable subsets of A, and μ is the Lesbegue measure on the unit interval. Let y:A⇒ℝ_{+} be the taxable incomes function. We assume that y is measurable.

We consider the following extensive form game:

- The tax authority chooses and publicly announces the values of its policy variables p
_{i}and p_{r}, 0≤p_{r}≤p_{i}≤1. - Then, each tax payer-informant pair, in their turn, play as follows:
- The tax payer declares a repored income x(a), 0≤x(a)≤y(a).
- Then, the informant decides q(a), 0≤q(a)≤1, a probability in which he blows the whistle. The informant may choose q(a)≠0 even if x(a)=y(a).

Tax payer a∈A payoff is:

ENI(q(a),y(a),y(a)-x(a)) = NLI(y(a)) + ENET(q(a),y(a)-x(a)), where NLI(y(a)) = (1-θ)y(a), and ENET(q(a),y(a)-x(a))= (y(a)-x(a))θ(1-βπ(q(a)p_{i}+(1-q(a))p_{r})).

Informant a∈A payoff is:

EUG(q(a),y(a)-x(a)) = q(a)[βp_{i}((b+r)πθ(y(a)-x(a))+R)-K]

Within a subgame perfect equilibrium, h(a) denotes the history prior to the subgame in which pair a∈A moves. Let x(a,p_{i},p_{r},h(a)) be the tax payers' equilbrium strategies function. Namely, a function that assigns to each tax payer a, and taxation policy pair (p_{i},p_{r}), and history h(a) the choice of declared income x. Likewise, let q(a,p_{i},p_{r},h(a),x(a)) be the informants' equilbrium strategies function.

Now we can state formally the tax authority primary goal. It is:

Max ∫x(a,p_{i},p_{r},h(a))dμ

s.t. C[p_{r}(1-∫q(a,p_{i},p_{r},h(a),x(a))dμ) + p_{i}∫q(a,p_{i},p_{r},h(a),x(a))dμ] ≤B

Where the maximum is chosen among all values of p_{r} and p_{i} satisfying
0≤p_{r}≤p_{i},
and all the integrals above are taken over a∈A.

The tax authority expected net lost taxes (ENLT) is from a single tax payer:

ENLT(q,y-x)= (y-x)θ(1-βπ(qp_{i}(1-b)+(1-q)p_{r})).

Note that ENLT differs from ENET due to the bounty payment to the informant.

The tax authority secondary goal is:

Min ∫ENLT(q(a,p_{i},p_{r},h(a),x(a)),y(a)-x(a,p_{i},p_{r}),h(a))dμ

Where the minimum is taken over all taxation policy pairs (p_{i},p_{r}) that solve the primary goal, and the integral is taken over a∈A.

From a game theoretic view the choice of the probabilities p_{i} and p_{r} cannot be restricted to by choices of other players. Thus, formally, the taxation authority has lexicographic preferences as discussed in the section "The taxation scenario."

...sub game perfect equiblirium vs sequential...

The eqilibrium is characterized by two critical evaded income levels, L and H.

In the regular case, 0<L<H. Whenever a tax payer under reports up to L dollars, the informant does not blow the whistle. A tax payer whose income is less than H under reports L dollars. If his income is less than L, he reports zero income. As the informant does not blow the whistle, the tax payer may be subject to a random audit.

If the tax payer's income is larger than H he chooses to declare zero income, the informant blows the whistle, and the tax payer may be subject to an audit due to the report. Depending on parameters' value, H may be infinite. Evidently, in this case, the tax payer cannot have an income larger than H.

We first analyse the informant's decision. Recall that his expected utility gain (EUG) is:

EUG(q,y-x) = q[βp_{i}((b+r)πθ(y-x)+R)-K].

Observe that whenever
βp_{i}((b+r)πθ(y-x)+R)-K > 0
he will choose q=1. Analogously, whenever
βp_{i}((b+r)πθ(y-x)+R)-K < 0
he will choose q=0, and when
βp_{i}((b+r)πθ(y-x)+R)-K = 0
he is indifferent about the choice of q.

The critical value of y-x for which
βp_{i}((b+r)πθ(y-x)+R)-K = 0
is:

**Definition 1**

L(p_{i}) = (K-βp_{i}R)/βp_{i}(b+r)πθ.

An increase in
p_{i} always reduces L.

To avoid the situation that the informant always blows the whistle, independetly of the evaded tax level, we assume:

**Assumption 2** K-βR >0

As p_{i}≤1, Assumption 2 guaranties that L(p_{i})>0.

To summarize:

**Claim 1**
An informant's strategy is a best response in every subgame if and only if it satisfies:
q=1 when y-x>L(p_{i});
q=0 when y-x<L(p_{i});
and 0≤q≤1 when y-x=L(p_{i}).

*Proof:* See the above disscussion.

The following definition is useful in many of the proofs:

**Definition 2**

The _{i}) and choosing q=1 whenever y-x>L(p_{i}).

If follows directly from Claim 1, that the informant's reference strategy, is a best response in every sub game.

We now turn to study the tax payer's decision. Recall that his expected net income is:

ENI(q,y,y-x) = NLI(y) + ENET(q,y-x) =
(1-θ)y + (y-x)θ(1-βπ(qp_{i}+(1-q)p_{r}))

As NLI(y) is exogenous to the tax payer's decision, we may concentrate on maximizing ENET(q,y-x).

We will now look for an income level H that has the following property: When a tax payer has a taxable income larger than H he would prefer to declare zero and be reported to the tax authority by the informant, rather than just evading L, and be potentially subject to a random audit.

Assumption 1 implies that p_{r}<1/βπ. Therefore, we distinguish between three possibilities. In the first p_{r}<p_{i}<1/βπ, in the second
p_{r}<1/βπ≤p_{i}, and in the third
p_{r}=p_{i}<1/βπ.

In the first possibility, ENET is inceasing in y-x also when q=1. We define H(p_{i},p_{r}) as the evaded income level that solves the equation:

ENET(0,L) = ENET(1,H).

It may be easily shown that:

H(p_{i},p_{r}) =
(K-βp_{i}R)(1-πβp_{r})/βp_{i}(b+r)πθ(1-πβp_{i})

As p_{r}<p_{i} we have that H(p_{i},p_{r})>L(p_{i}).

In the second possibility, p_{i}≥1/βπ. Hence we define H(p_{i},p_{r})=∞, as ENET(0,L)>ENET(1,y-x) for all choices of y-x, and the tax payer always prefers to evade at most L and not to be reported.

In the third possibility p_{r}=p_{i} we define H(p_{i},p_{r})=0, as in this irregular case, the tax payer is indifferent between being reported or not.

To summarize we have:

**Definition 3**

H(p_{i},p_{r}) = |
{ | 0, | if p_{i}=p_{r}<1/βπ |

(K-βp_{i}R)(1-πβp_{r})/βp_{i}(b+r)πθ(1-πβp_{i}), | if p_{r}<p_{i}<1/βπ | ||

∞, | if p_{r}<1/βπ≤p_{i} |

An increase in
p_{i} may increase or decrease H. It may be shown, however, that when p_{i}>1/2π an increase in p_{i} will increase H.

**Proposition 1**
In a subgame perfect equilibrium,

1. If y<L(p_{i})<H(p_{i},p_{r})
The tax payer chooses x=0, and the informant does not blow the whistle.

2. If L(p_{i})≤y<H(p_{i},p_{r}), the tax payer chooses x=y-L(p_{i}), and the informant does not blow the whistle.

3. If L(p_{i})<y=H(p_{i},p_{r})
the tax payer chooses x=H(p_{i},p_{r})-L(p_{i}), and the informant does not blow the whistle, or x=0 and the informant blows the whistle.

4. If L(p_{i})<H(p_{i},p_{r})<y, the tax payer chooses x=0 and the informant blows the whistle.

5. If H(p_{i},p_{r})=0, the tax payer chooses x=0.

*Proof:*

To see that there are no other equilibrium outcomes, note that it follows from Claim 1, that for any value of y-x<L(p_{i}); the only best response of the informant is q=0. Given that, the tax payer's choice x=0 is the only best response, hence no other equilbrium outcome may prevail

2. Consider the strategy pair in which the tax payer chooses y-x=L(p_{i}), and the informant chooses his reference strategy. As already noted, it follows from Claim 1, that the informant's strategy is a best reponse in every subgame. By the consrtuction of H(p_{i},p_{r}), it follows that ENET(0,L(p_{i}))<ENET(1,y-x) whenever
y-x<H(p_{i},p_{r}). Hence also the tax payer's strategy is best response.

To see that there is no other equilibrium outcome, note that the tax payer may assure himself a payoff as close as he wants to ENET(0,L(p_{i})) by choosing y-x slightly smaller than L(p_{i}). Therefore, the tax payer's payoff cannot be smaller than ENET(0,L(p_{i})). However the only way to achieve this payoff is by the tax payer choosing
y-x=L(p_{i}), and the informant choosing q=0 in response.

3. Consider two strategy pairs in the first, the tax payer chooses x=H(p_{i},p_{r})-L(p_{i}), and the informant chooses his reference strategy, and in the second the tax payer chooses x=0, and the informant chooses his reference strategy. As already noted, it follows from Claim 1, that the informant's strategy is a best reponse in every subgame. By the consrtuction of H(p_{i},p_{r}), it follows that ENET(0,L)=ENET(1,H). Hence in both strtegy pairs the tax payer's strategy is a best response.

To see that there are no other equilbrium outcomes note that it follows from claim 1, that the tax payer's maximum payoff is ENET(1,H). The only two possible ways to achieve this payoff are those sugested in the proposition.

4. Consider the strategy pair in which the tax payer chooses x=0, and the informant chooses his reference strategy. As already noted, it follows from Claim 1, that the informant's strategy is a best reponse in every subgame. By the consrtuction of H(p_{i},p_{r}), it follows that ENET(0,L)<ENET(1,y), whenever y>H. Hence the tax payer's strategy is a best response.

To see that there are no other equilbrium outcomes note that it follows from claim 1, that the tax payer's maximum payoff is ENET(1,y). The only possible way to achieve this payoff is the one sugested in the proposition.

5. Consider the strategy pair in which the tax payer chooses x=0, and the informant chooses his reference strategy. As already noted, it follows from Claim 1, that the informant's strategy is a best reponse in every subgame. As p_{i}≤p_{r}, it follows that ENET(0,y)<ENET(1,y), for all y. Hence the tax payer's strategy is a best response.

To see that there are no other equilbrium outcomes note that it follows from claim 1, that the tax payer's maximum payoff is ENET(1,y). The only possible way to achieve this payoff is the one sugested in the proposition.

Let F be the commulative disribution function of the gross individual incomes. Namely F(z)=μ({a∈A:y(a)≤z}). As any commulative distribution function, F is non-decresing, continuous from the right, and satisfies: 0≤F(z)≤1, for all z. F(∞)=1. As y(a)≥0 for all tax payers, we also have: F(z)=0, for all z<0

Our analysis earlier in the article predicts that the income
reported x is a (deterministic) function of y, with one exception. When y=H(p_{i},p_{r}), x may take two different values. We will show later, that within our assumptions on the distribution of incomes, all subgame perfect equilibria in the game where the tax authority is a player, x=H(p_{i},p_{r})-L(p_{i}) if y=H(p_{i},p_{r}) whenever there is a positive measure of tax payers with this taxable income.

Hence the tax authority primary goal is:

Max ∫_{{y: L≤y≤H}}(y-L)dF

s.t. C[p_{r}F(H) + p_{i}(1-F(H))] ≤ B

Where the maximum is chosen among all feasible values of (p_{r},p_{i})

The tax authority secondary goal is:

Min
∫_{{y:0≤y<L}}ENLT(0,y)dF +
∫_{{y:L≤y≤H}}ENLT(0,y-L)dF +
∫_{{y:H<y}}ENLT(1,y)dF

Where the minmum is taken over all pairs of
(p_{r},p_{i}) that solve the primary goal.

We shall disscuss in the following sub sections three different distribution families of taxable incomes. The first two are descrete distriburtions common in the tax evasion literature. In the first all tax payers have an identical taxable income, and in the second there are two levels of taxable incomes.

**Distribution Family 1** All tax payers have an identical taxable income y_{1}, 0<y_{1}, y_{1}≠H(1,0), y_{1}≠L(1).

**Distribution Family 2** There are two levels of taxable incomes y_{1} and y_{2}, 0<y_{1}<y_{2}, y_{1}≠H(1,0),
y_{1}≠L(1),y_{2}≠H(1,0), y_{2}≠L(1) and F(y_{1})=α.

The third family is of continuous distributions.

**Distribution Family 3** F is continuous and 0<F(z)<∞ for all z>0.

**Theorem 1**

Consider the case where all tax payers earn an identical income y_{1}.

F(y) = | { | 0, | if y<y_{1} |

1, | if y_{1}≤y |

- If y
_{1}<L(1)<H(1,0)

(1) In all equilbrium outcomes p_{r}solves C[p_{r}]=B.

(2)All tax payers declare x=0, and the informants do not blow the whistles.

(3) There are equilibria with any value of p_{i}≥p_{r}. - If L(1)<y
_{1}<H(1,0)

(1)In all equilbrium outcomes: p_{i}=1 and p_{r}is the one that solves the problem:

Max p_{r}

s.t. H(1,p_{r})≥y_{1}and C[p_{r}] ≤ B

(2) All tax payers report x=y_{1}-L(1), and the informants do not blow the whistles. - If L(1)<H(1,0)<y
_{1}

Let p_{i}* the solution to the problem:

Max p_{i}

s.t. H(p_{i},0)≥y_{1}

(1) In all equilibrium outcomes: p_{i}=p_{i}*, p_{r}=0.

(2) All tax payers report x=y_{1}-L(p_{i}*), and the informants do not blow the whistles.

**Definition 4**

The tax payer's reference strategy is declaring x=Max{0,y-L(p_{i})} whenever y≤H(p_{i},p_{r}) and choosing x=0 whenever y>H(p_{i},p_{r}).

*Proof of Theorem 1:*

First, we show that there are equilibria with the properties stated in the theorem.

Consider equilibria in which the informants and tax payers play according to their reference strategies (see Definitions 2 and 4). It follows from Proposition 1, that these starategies are consistent with subgame perfect equilibrium. The tax authority, given the informants and tax payers equilibrium strategies, will maximize the total declared incomes within the budget constraint, and within the solutions to this optimization problem, will minimize ENLT. In order to achieve its goals the taxation authiority should keep y_{1}≤H and minimize L within this constraint. If this problem has more than one solution, the taxation authority will choose those that minimize ENLT.

- If y
_{1}<L(1)<H(1,0)

As y_{1}<L(1) for any choice of p_{i}, it follows from the reference strategies that all tax payers will declare x=0, and no informant will blow the whistle. This implies that all policies chosen by the taxation authority will give an identical level of total declared incomes. As a result the taxtion authority will maximize p_{r}to minimize ENLT. - If L(1)<y
_{1}<H(1,0)

As L is decreasing in p_{i}, choosing p_{i}=1 maximizes the total declared incomes. The choice of p_{r}clearly obtains the taxation authority secondary goal, minimizing ENLT. - If L(1)<H(1,0)<y
_{1}

Choosing p_{i}as described maximizes the total declared incomes. The choice of p_{r}=0 is necessary as otherwise H(p_{i},p_{r})<y_{1}.

Now we show that there are no other equilibrium outcomes.

In all cases where in the above equilibria the tax authority chose policies that lead to y_{1}=H, it could guarantee achieving values of its primary or secondary goals as close as possible to those in the suggested equilibria by making y_{1}<H. This implies that the taxation authority does achieve the exact values suggested in any subgame perfect equilibrium.

**Theorem 2**

Consider the case where there are two levels of income. Some tax payers earn y_{1}, and some earn y_{2}, y_{1}<y_{2}.

F(y) = | { | 0, | if y<y_{1} |

α, | if y_{1}≤y<y_{2}; | ||

1, | if y_{2}≤y |

- If y
_{1}<L(1) tax payers with income y_{1}declare zero, and their corresponding informants do not blow the whistles. The choice of p_{i}and p_{r}is like in Theorem 1 with respect to the higher income y_{2}. - If L(1)<y
_{1}<y_{2}<H(1,0) in all equilbrium outcomes: p_{i}=1 and p_{r}is the one that solves the problem:

Max p_{r}

s.t. H(1,p_{r})≥y_{2}and C[p_{r}] ≤ B

(2) All tax payers with taxable income y_{2}report x=y_{2}-L(1), all tax payers with taxable income y_{1}report x=y_{1}-L(1) and the informants do not blow the whistles. - If L(1)<y
_{1}and H(1,0)<y_{2}

Let p_{i}* the solution to the problem:

Max p_{i}

s.t. H(p_{i},0)≥y_{2}

And let p_{i}** the solution to the problem:

Max p_{i}

s.t. H(p_{i},0)≥y_{1}and

[C(p_{i}(1-α))≤B or H(p_{i},0)≥y_{2}]Case 3.1: p

_{i}*=p_{i}**

(1) p_{i}=p_{i}*, p_{r}=0

(2) The lower income tax payers declare x=Max{0,y_{1}-L(p_{i}*)} and their corresponding informants do not blow the whistles.

(3) The higher income tax payers declare x=y_{2}-L(p_{i}*) and their corresponding informants do not blow the whistles.Case 3.2: p

_{i}*≠p_{i}** and αMax{y_{1}-L(p_{i}*),0}+(1-α)(y_{2}-L(p_{i}*)>α(y_{1}-L(p_{i}**))

(1) p_{i}=p_{i}*, p_{r}=0

(2) The lower income tax payers declare x=Max{0,y_{1}-L(p_{i}*)} and their corresponding informants do not blow the whistles.

(3) The higher income tax payers declare x=y_{2}-L(p_{i}*) and their corresponding informants do not blow the whistles.Case 3.3: p

_{i}*≠p_{i}** and αMax{y_{1}-L(p_{i}*),0}+(1-α)(y_{2}-L(p_{i}*)<α(y_{1}-L(p_{i}**))

(1) p_{i}=p_{i}**, p_{r}=0

(2) The lower income tax payers declare x=y_{1}-L(p_{i}**) and their corresponding informants do not blow the whistles.

(3) The higher income tax payers declare x=0 and their corresponding informants blow the whistles.

Case 3.4: p_{i}*≠p_{i}** and
αMax{y_{1}-L(p_{i}*),0}+(1-α)(y_{2}-L(p_{i}*)=α(y_{1}-L(p_{i}**))

The equilibrium outcomes will be like in 3.3.

*Proof:*

The proof is similar to that of Theorem 1.
In the first two cases, i.e. where y_{1}<L(1),
or where L(1)<y_{1}<y_{2}<H(1,0), the proof is essentially identical to that of Theorem 1.

In the last case, where L(1)<y_{1} and H(1,0)<y_{2}, the tax authority considers two alternatives. In the first one H is larger or equal the highest income. In the second alternative y_{2}<H, so the higher income tax payers declare no income, but as p_{i} is higher, L is lower and the lower income tax payers declare a larger part of their incomes compared to the first alternative.

In case 3.1 the second alternative is irrelevant. In case 3.2 the first alternative gives the tax authority better results, and in case 3.3 the second alternative is preferable. Case 3.4 represents the case where both alternatives give an identical result per the primary goal. Hence the second alternative is chosen, as it gives better results per the secondary goal.

- Allingham, M.G., and A. Sandmo, 1972, "Income Tax Evasion: A Theoretical Analysis", Journal of Public Economics, vol. 1, pp. 323-38.
- Cowell, F.A., 1990, "Cheating the Government: The Economics of Evasion", MIT Press 1990.
- Erard, B. and J.S., Feinstein, 1994, "Honesty and Evasion in the Tax Compliance Game", RAND Journal of Economics, vol. 25, pp. 1-19 .
- Elster, J., 1998, "Emotions and Economic Theory", Journal of Economic Literature, vol. 36, pp. 47-74.
- Graeetz, M.J., J.F. Reinganum and L.L Wilde, 1986a, "The Tax Compliance Game: Toward an Interactive Theory of Law Enforcement", Journal of Law, Economics and Organization, Vol. 2 (Spring, 1986), pp. 1-13.
- Graeetz, M.J., J.F. Reinganum and L.L Wilde, 1986b, "Equilibrium Verification and Reporting Policies in a Model of Tax Compliance", International Economic Review, vol. 27, No 3, pp. 739-760.
- Greenberg, J, 1984, "Avoiding Tax Avoidance: A (Repeated) Game Theoretic Approach", Journal of Economic Theory, vol. 32, pp. 1-13.
- Hindriks, J. Kenn, M. and Muthoo, A. 1999, "Corruption, extortion and evasion". Journal of Public Economics, vol. 74, pp. 395-430.
- Kreps, D.M., 1984, "Signaling Games and Stable Equilibria", unpublished manuscript.
- Kreps, D.M. and R., Wilson, 1982, "Sequential Equilibrium", Econometrica, vol. 50, pp. 863-894.
- Marjit, S., Mukherjee, V., Mukherjee, A. 2000, "Harassment, corruption and tax policy", European Journal of Political Economy, vol. 16, pp. 75-94.
- Marjit, S., Mukherjee, V., Mukherjee, A. 2003, "Harassment, corruption and tax policy: reply", European Journal of Political Economy, vol. 19, pp. 899-900.
- Marrelli, M., 1984, "On Indirect Tax Evasion", Journal of Public Economics, vol. 25, pp. 181-196.
- Mookherjee, D. and I., Png, 1989, "Optimal Auditing, Insurance, and Redistribution", Quarterly Journal of Economics, vol. 104, pp. 399-415.
- Landsberger, M. and I. Meilijson, 1982, "Incentive Generating State Dependent Penalty System", Journal of Public Economics, vol. 19, pp. 333-352.
- Rubinstein, A. ,1979, "An Optimal Conviction Policy for Offenses that may have been Committed by Accident", Applied Game Theory, pp. 406-413.
- Saha, B. 2003, �Harassment, Corruption and Tax Policy: Reply: a Comment on Marjit, Mukherjee and Mukherjee (Eur. J. Political Economy 16 (2000) 75-94)�. European Journal of Political Economy, vol. 19, pp. 893-897.
- Sanchez, I. and J., Sobel , 1993, "Hierarchical Design and Enforcement of Income Tax Policies", Journal of Public Economics, vol. 50, pp. 345-369.
- Scotchmer, S., 1987, "Audit Classes and Tax Enforcement Policies", American Economic Review, vol. 77, pp. 229-233.
- Yaniv, G., 2001, "Revenge Tax Informing, And the Optimal Bounty", Journal of Public Economic Theory, vol. 3, pp. 225-233.