 (R2) is called an extension by the local reflection principle, whereas (R3) uses the uniform reflection principle. Feferman obtained in 1962 an amazing result that strengthens Turing’s result in a dramatic way.