(''Q''→''R'')→''Q'')→((''Q''→''R'')→''R'')
   HOME
*