First recorded in English around 1662; origin uncertain and disputed. Possible sources include Italian puntiglio ('fine point, quibble') or an English dialectal word. Samuel Johnson speculated a connection to Latin pungo ('to prick'). The OED marks it as 'of obscure origin'. The verb 'to pun' appeared around the same time as the noun.