## transition

Then we shall use (2.3) in order to make the transition from $M$ to a universal Turing machine $U$.