4 ms·At risk of spoilers, I don't think that's a pun. It's just an abbreviation.by lukeschlather 10y agoAt risk of spoilers, I don't think that's a pun. It's just an abbreviation.glibgil 10y agoIt's a pun played in meta-reverse and it suckeddjsumdog 10y agoNo, there's no word play involved. There's no joke in their either. It's just a misheard word.