  where \(R\) is a relation that can take \(n\) arguments, \(a_1, \ldots , a_n\) are any constants (names), and \(1 \leq i \leq n\). This logical axiom tells us that from a simple predication involving an \(n\)-place relation, one can existentially generalize on any argument, and validly derive a existential statement. 