Section 8.9

Existence of processes