Tipo I: algún S es P.