 The structural rules in the Immanent Reasoning framework are modified to allow for the explicit mention of reasons, for the use of initial concessions, for inserting formation dialogues, for the resolution of instructions, for challenging and defending elementary statements, and for making explicit the equalities that are used in the standard framework’s Formal Rule (“my reasons for stating \(A\) are the same as yours”). The latter two points (about elementary statements and equalities) are defined by the Socratic Rule which replaces the Formal Rule of the standard framework. Instead of providing all the rules for this framework in details, we will illustrate them in a commented example below. But let us give some basic information about the Socratic Rule: