He would have to remember the pun to tell Alec Diger later, if there was a later.
I explained that he probably intended a pun upon his name, which was Coleman.
This is a pun, which, profound in itself, you must not expect to enjoy at first reading.
"He's a bad pill," said another, repeating a pun already old.
Daniel Purcell, the famous punster, was desired to make a pun extempore.