10.2.6 Computability, Universality