almost finished with chapter: need to finish game equivalency proof and complete sketch for the simpler game