We show that a simple game form, which resembles the "Divide-and-Choose" procedure, Nash-implements the no-envy solution on domains of economies where the set of feasible allocations is symmetric (an allocation obtained from a feasible allocation by interchanging the bundles of two agents is...