S(pk): pre-knowledge ()