[see also: sort, type, form
Another kind of modification is illustrated in the next lemma.
processes of an entirely new kind
a connection of some kind