 Parameter absorption is the situation theory analogue of λ-abstraction. (11) corresponds to the property of not bothering Stella. There are additional operations that build complex states-of-affairs from simpler ones, including analogues of conjunction, disjunction, and existential and universal quantification (see Devlin 1991, 2006, and Ginzburg &amp; Sag 2000). The ultimate goal is to provide the necessary tools for a theory of information content (see the entry  semantic conceptions of information).  Barwise 1988 mentions a wide range of applications, including “a theory of information to account for the role information pickup plays in the life of the frog, how the information it detects is related to the actions it takes, actions like flicking its tongue and hopping about” (Barwise 1988, 257). Other applications mentioned are theories of vision, databases, robot design, mathematical proofs, information exchange between speakers of particular language, and cognitive science as a whole. Finally, the theory should be able “to be turned on itself, and provide an account of its own information content, or rather, of the statements made by the theorist using the theory” (Barwise 1988, 258).