Ssumption, For Reductio
   HOME
*