Matthias, You're trimming of my "verbose" English has left one procedure with a contract thats completely wrong, a common remanent I believe of being too concise!
;; possible-states accumulate all the possible (incorrect) future ;; boat loads, given the current state. That (incorrect) by itself gives the wrong impression. It computes /all/ the states, many of which are impossible, but there are possible states too. And personally, I just HATE the really short definition names. It's like reading a UNIX man page. Horace. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
