(''P''→''P'')→''P'')→((''P''→''P'')→(''S''→''P''))
   HOME