Cheerful.thm
Gonzales.thm
Suchao nutchnum.thm
pacman, rainbows, and roller s