(* Soumis par Pierre *)
Print sig2.
Check (exists x : nat, x = x).
Check (fun b : bool => if b then b else b).