Procedural Mechanism

Favorable Termination Requirement