 Tarski’s techniques go further, however. They do not stop with atomic sentences. Tarski notes that truth for each atomic sentence can be defined in terms of two closely related notions: reference and satisfaction. Let us consider a language \(\mathbf{L}'\), just like \(\mathbf{L}\) except that instead of simply having two atomic sentences, \(\mathbf{L}'\) breaks atomic sentences into terms and predicates. \(\mathbf{L}'\) contains terms ‘snow’ and ‘grass’ (let us engage in the idealization that these are simply singular terms), and predicates ‘is white’ and ‘is green’. So \(\mathbf{L}'\) is like \(\mathbf{L}\), but also contains the sentences ‘Snow is green’ and ‘Grass is white’.)