Yes I understand. It works spelled that way. But “no pun intended” doesn’t work because there was no pun in the initial setup. In my version both meanings make sense