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