Before revision: We establish the lattice theorem,  rural hospitals theorem,  and a group-incentive-compatibility result for terminal buyers (sellers) with unit demand, in a general bilateral trading network without making the assumption of quasi-linear utility in transfers.
After revision: We establish the lattice theorem, the rural hospitals theorem, and a group-incentive-compatibility result for terminal buyers (sellers) with unit demand, in a general bilateral trading network without making the assumption of quasi-linear utility in transfers.