Example: vacuum world
n Single-state, start in #5.
Solution?