SEMI-FORMAL 2001