/ S : P)