 There are analysis rules for elementary statements: players can challenge moves of the form \(a:\varphi(c_i)\). The defences involve tracking the origin of local reasons in a play in terms of equalities between local reasons or, in the case of resolution of instructions, between local reasons and instructions. For the precise formulation of these rules, see Rahman et al. (2018).