msiegel Star
note to self re "reducing the size of the search tree". making simplifying assumptions can reduce the size of the state space so unwanted states are excluded from the space