KissingComplete

Definition:
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).