I have understood that the "and" syntax was needed to support the creation
of mutually recursive bindings. While it can also be used as a form of
"parallel let" within a function definition, it is vitally important for the
mutual recursion case.

- David McClain, Tucson, AZ, USA