 The particle rules for the implication are the following: when \(\mathbf{X}\) states an implication, \(\mathbf{Y}\) may challenge it by stating the antecedent, and \(\mathbf{X}\) defends it by stating the consequent.