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