 Turing discussed a thesis that is closely related to Turing’s thesis, namely for every systematic method there is a corresponding substitution-puzzle (where ‘substitution-puzzle’, like ‘computable by Turing machine’, is a rigorously defined concept). He said: