punc identities