 What we get is an infinite set of formulas obtained by replacing \(R\) by any other binary relation symbol. However, we wanted a single logically valid sentence and so we need to quantify over binary relations. In second-order logic, taking \(X^{2},\) \(Y^{2},\)… as variables for binary relations we write: