 There is a synthesis rule for elementary statements: from a move \(\mathbf{X}\state \varphi(c_i)\), player \(\mathbf{Y}\) can request \(\mathbf{X}\) to make the local reason for the atomic formula explicit;