Goal True.
apply ltac:(apply (S true)).
Abort.