Condition I is not Arrow’s formulation. It is a simpler one that has since become the standard in expositions of the impossibility theorem. Arrow’s formulation concerns choices made from within various “environments” \(S\) of feasible options by maximizing social orderings: