

![0_image_0.png](0_image_0.png)

![0_image_1.png](0_image_1.png)

![0_image_2.png](0_image_2.png)

The value assigned to the root contains some redundancy (which we will deal with in Section 7), in that one of the maximizer's choices ( SUT ) dominates the others. Nevertheless, this value clearly indicates that the maximizer has an option available at the root that caters to both situations.