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