> You appeared to be contemplating the violation of a principle supported   
   > by extensive observation:   
      
   Is there a conjecture like this?   
      
   Let's say "integrate(f(p,x), x) = F(p,x)", and maybe F is recursive:   
     F(p,x) = G(F(p-1,x))   
   I don't think there are algorithms can expand recursive definition.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)