 Like independence friendly logic, dependence logic can define its own truth operator (Väänänen 2007a), that is, if for all formulas \(\phi\) we have that \(\lceil \phi\rceil\) is the Gödel number of \(\phi\) then we can find a formula \(\tau(x)\), with \(x\) as its only free variable, such that 