TDT04: Termination Schemes