 Any theory that provides a substantial account of truth conditions can offer a simple account of truth values: a truth-bearer provides truth conditions, and it is true if and only if the actual way things are is among them. Because of this, any such theory will imply a strong, but very particular, biconditional, close in form to the Tarski biconditionals. It can be made most vivid if we think of propositions as sets of truth conditions. Let \(p\) be a proposition, i.e., a set of truth conditions, and let \(a\) be the ‘actual world’, the condition that actually obtains. Then we can almost trivially see: