SECTION 3.3. A BENEFIT, SINCE IT GIVES MORE OPPORTUNITY FOR ENFORC-

6. If not V

1

and V

2

and

4 7 7

A

2

> a

3

and P

2

< a

4

and

5 14 9

S

1

-S

2

< a

5

and S

2

> a

6

, return C

2