* Pr , set: