Strategy-proofness (SP) is a sought-after property in social choice functions because it ensures that agents have no incentive to misrepresent their private information at both the interim and ex post stages. Group strategy-proofness (GSP), however, is a notion that is applied to the ex post...