Cheerful.thm
Gonzales.thm
Suchao nutchnum.thm
Old school Easter eggs.
