 The maximality thesis admits of two interpretations, according to whether the phrase “can be generated by machine” is taken in the this-worldly sense of “can be generated by a machine that conforms to the physical laws (if not perhaps to the resource constraints) of the actual world” [the weaker form], or in a sense that abstracts from whether or not the envisaged machine could exist in the actual world [the stronger form]. The stronger-weaker terminology is intended to reflect the fact that the stronger form entails the weaker, but not vice versa.