''x'' = ''y'') → (''x'' ''z'' = ''y'' ''z'')
   HOME

TheInfoList



OR: