 The synthesis of local reasons for universal quantification requires that the challenger provides an element of the set (an instance, which is also a local reason), the one he wishes (here \(p_1\)), and the defender provides a local reason (\(p_2\)) for the quantified proposition, in which the variable (\(x\)) is replaced by the challenger’s instance (\(p_1\)):