Many salient rules to allocate private goods are not only strategy-proof, but also group strategy-proof, in appropriate domains of definition, hence diminishing the traditional conflict between incentives and efficiency. That is so for solutions to matching, division, cost sharing, house allocation, and auctions, in spite of the substantive disparity between these cases. In a general framework encompassing all of them, we prove that the equivalence between the two forms of strategy-proofness is due to an underlying common structure that transcends the many differences between the contexts and the mechanisms for which it holds.