We define a HarveyMudder X to be KissingComplete if, for each class present at HarveyMuddCollege during their four-year or five-year stay X has kissed at least one HarveyMudder p, X!=p, from each class.

**Theorem**:

Any KissingComplete SketchyAlum has kissed at least seven people, but almost certainly a whole lot more.

(The proof is trivial and has been left to the reader).