ICMT 2009

Thats really srehwd! Good to see the logic set out so well.