“…This point is discussed in Appendix B. 10 In order to check that ϕ −SP is manipulable, let N = {i, j, k}, ∈ D * , and j ∈ D * j be such that {i, j} i {i, j, k} i {i}, {i, j, k} j {i, j} j {j, k} j {j}, and {i, k} k {i, j, k} k {k}; while {j, k} j {i, j, k} j {j}. Note that ϕ −SP ( ) = ({i, j}, {k}), while ϕ −SP ( N \{j} , j ) = {i, j, k}.…”