Before revision:  The fact that we use individual rather than group strategy-proofness, further allows to get immediately some of the known, and some new, equivalences between individual and group strategy-proofness.
After revision:  The fact that we use individual rather than group strategy-proofness, allows to get immediately some of the known, and some new, equivalences between individual and group strategy-proofness.