(1), Щоб відійти від неявних або задекларованих порядку, в якому з комп'ютерів є виконується програма заяви. Заяву (2) програма про що викликає на departure.~(3) вильоту, описані в (1).