re: #441 _RememberTonyC

Yes. But people make puns all the time, and those aren’t funny.

I figure he’ll explain himself.