S es P formula_1 queda convertida en formula_1 P es S.