]> On Fri, Oct 09, 2009 at 10:22:18AM +0200, Virgile Prevosto wrote: > Well, I'm afraid this the other way round Yes, sorry, I should have checked before posting since I always get it wrong, confusing forall and exists. Regards, -- Gabriel