Goal 0 = 0.
Fail pose ?Goal.
Abort.