CHAN(y) \Delta However, free names in process terms would, in their encoding, have to be supplied explicitly with their managers at the top-level of encodings (0)