Goal False.
idtac; easy.
Abort.