Axiom a: bool.

Goal a = true.
Proof.
try unfold a.
Abort.