(* Soumis par Pierre *)
Print  sig2.
Check (EX x:nat|x=x).
Check [b:bool]if b then b else b.