Keeping in mind this delineation of the object domain, the formal pragmatics of communication can be more readily laid out. The essential insight has already been mentioned, which is that communication is responsible for irreplaceable modes of social integration, and this is accomplished through the unique binding force of a shared understanding. This is, in a sense, the pragmatic piece of formal pragmatics: communication does something in the world. What needs to be explained are the conditions for the possibility of what communication already does. This is, in a sense, the formal piece of formal pragmatics: a rational reconstruction of the deep generative structures that are the universal conditions for the possibility of a binding and compelling mutual understanding.