 Since it can also be shown that there are no functions in S other than ones whose values can be obtained by a method satisfying the above conditions for effectiveness, the Church-Turing thesis licences replacing the informal claim “There is an effective method for obtaining the values of function f” by the formal claim “f is a member of S”—or by any other formal claim equivalent to this one.