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