XPost: sci.math   
   From: ee@ard.nl   
      
   Mild Shock wrote:   
      
   > We use “∃” to bring a fresh logical variable into scope, because we   
   > really mean “there exists an x such that ···.”   
      
   idiot, there is no any x over there. And it doesn't need to be a variable,   
   a constant suffices.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)