 Once the local reasons are explicit, statements can be further challenged and defended in accordance to another set of rules called the analysis rules for local reasons which prescribe how to decompose the local reason associated with a statement in such a way that the component(s) render the local reasons prescribed by the synthesis rules. They require instructions, which are procedures that need to be carried out (the resolution of instructions), and the successive application of this process will eventually yield local reasons for elementary statements. For example, in the case of an implication, the local reason is actually a complex “local” reason: there is a reason for the antecedent, and a reason for the consequent. The instructions are procedures that isolate these parts of a complex reason: the left instruction (here \(L^{\supset}(p)\)) takes the reason for the antecedent, and the right instruction (here \(R^{\supset}(p)\)) takes the reason for the consequent: