[Checkers] Number of checkers

Michael Ernst mernst at csail.mit.edu
Sat May 3 18:04:52 EDT 2008

I would like to say, throughout the paper, that we have 5 checkers.  Saying
that we have 4+1 feels more clumsy, and I don't think claiming 5 is
inaccurate.  I don't want to make this change while Matt is editing section
3.  Matt, could you make the change throughout the paper?  (Search for
"four" and "4".)



More information about the checkers mailing list