Algunos S son P formula_1 Algunos P son S