minor revision, added guess specification section