Jian, a harbinger of puns