 The concept of full definability also has some notable possible applications in the theory of naturalness. We could appeal to it to provide an alternative articulation of the intuitive thought about the “completeness” of the perfectly natural properties, which Lewis captured using  TSB: