, and introduce a nonconvex version of the properness assumptions on preferences and the total rpoduction set. Applied to … the convex case, our result becomes the usual Second Welfare Theorem when properness assumptions replace the interiority …