[see also: passage, transfer
Then we shall use (2.3) in order to make the transition from M to a universal Turing machine U.