Two Well-defined Types, 2003