http://www2.cs.uidaho.edu/~jeffery/courses/428/rabin/3.5%20Debugging%20Games.ppt