To see the goal for this level, type:
    $ git gud goal
