discussion goes here

This doesn't actually work. The example doesn't work.

  --Patrick Gibbs.....Mon Mar 08 17:59:18 -0800 2010

Thanks! We finally fixed it (broke it by improving some syntax).

  --John Abbe.....Sun May 02 14:02:17 -0700 2010