Does Gary Johnson realize that his chief rival for fame and

fortune is Emo Philips?