let exists3 ?pos f = 
  exists (fun x -> exists (fun y -> exists (fun z -> f x y z)))