verb. Simple past tense and past participle of pun.

"The term punned on the Taoist custom of "cleansing/washing the heart" (xǐ xīn) prior to conducting certain ceremonies or entering certain holy places, and in Chinese."

pinned  

pun