Termination (Explicit)

Useless (Explicit)