 Robin Gandy is one of the few writers to have distinguished explicitly between Turing’s thesis and the stronger proposition that whatever can be calculated by a machine can be calculated by a Turing machine (Gandy 1980). Gandy called his own formulation of the maximality thesis ‘Thesis M’. (Gandy’s argument for his Thesis M is evaluated in Copeland and Shagrir 2007.)