Requirement (c): Process can stop in its non-critical section