Goal True.
Fail all:Check _.
Abort.