Pr * S *(