Superceded by UW-CSE-02-07-05.