ok, routing is done.

  skipping the rest of this article--moving on to htdp.