Iterative Refinement, cont.
Example: Running a maze
/* There are n2 rooms arranged in an n-by-n grid. Some adjacent rooms have connecting doors. No doors lead outside. You are in the upper-leftmost room facing left. A sequence of doors leads to the lower-rightmost room. Get there. */
Rule of thumb: Work some test cases by hand.