Any position where you'd be in zugzwang is a good example. A more interesting question is how do you search the infinite state space. Intuitively, many states

Any position where you'd be in zugzwang is a good example. A more interesting question is how do you search the infinite state space. Intuitively, many states that are formally different aren't meaningfully different from each other and can be assimilated. Any bisimulation expert on HN? :D