A version of the Second Fundamental Theorem of Welfare Economics that applies to a money-free environment, in which a set of indivisible goods needs to be matched to some set of agents, is established. In such environments, 'trade' can be identified with the set of hierarchical exchange...