def __init__(self, initial, goal=None):
self.initial = initial; self.goal = goal<EOL>
The constructor specifies the initial state, and possibly a goal
        state, if there is a unique goal.  Your subclass's constructor can add
        other arguments.