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, rural hospitals theorem, the existence of side-optimal equilibria, compactness of the set of equilibria 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.