identifiers
pure	k
