Termination (Explicit)

Green (Explicit)