Ssumption, Want P If Not P
   HOME