Comments migrated from WordPress:
Is this a typo or a pun? (He wrote, anticipating the answer “yes”…)
Oh, that is definitely a pun.
