•While we search the
tree, we can keep track of guaranteed maximum/minimum utilities if play proceeds to each node.
•When we see a
contradiction in guarantees, we can prune remaining children from further consideration, because we've proven a rational player will never reach that node.
