 Going back to our first-order language \(\mathcal{L}\), here are the particle rules for conjunction, disjunction, implication, negation, universal quantification and existential quantification. In the rules for quantifiers, individual constants are numbered with an index \(i\) from the positive integers. See below for examples of plays using these rules.