TERMINATION (Explicit)

RAM (Explicit)