  Functionalists about truth (e.g., Lynch 2005b: 396–97) propose to deal with compounds by distinguishing between two kinds of realizers of the \(F\)-role. The first is an atomic realizer, such that an atomic proposition \(p\) is true iff \(p\) has a property that realizes the \(F\)-role. The second is a compound realizer, such that a compound \(q * r\) (where \(q\) and \(r\) may themselves be complex) is true iff