With the conceptual framework now in place, Section 3.1 sets out the “conditions” or constraints that Arrow imposed on social welfare functions, and Section 3.2 states the theorem itself.  Section 4 explains the conditions more fully, discusses reasons that Arrow gave for imposing them, and considers whether it is proper to do so. 