2004 January 9

  1. Implicit assertions January 9