Describir: A necessary and sufficient condition for Walrasian social choice.