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