Axiom x : nat.

Definition foo (x : nat) := x + 1.

Lemma bar : False.
 idtac.
 idtac. (* truth is overrated *)
Admitted.