Anne H. Milley, director of technology product marketing at SAS
"On May 8, 2007, we were pleased to announce that checkers is now solved. From the standard starting position, Black (who moves first) is guaranteed a draw with perfect play. White (moving second) is also guaranteed a draw, regardless of what Black plays as the opening move. Checkers is the largest game that has been solved to date.
The clothes have no emperor. -- C.A.R. Hoare, commenting on ADA.