TERMINATION (Explicit)

MINUS (Explicit)