  Suppose we think about formulas using an intensional/extensional distinction. Given a model \(\cM\), to each formula \(X\) we can associate a function, call it \(f_{X}\), mapping states to truth values, where we set \(f_{X}(\Gamma )\) = true just in case \(\cM, \Gamma \vDash X\). 