  Let g be a strategy-proof rule on the domain NP of profiles where no
alternative Pareto-dominates any other and let g have range S on NP. We
complete the proof of a Gibbard-Satterthwaite result - if S contains more than
two elements, then g is dictatorial - by establishing a full range result on
two subdomains of NP.
