[EM] Manual Construction of Smith Set

[Colin Champion]

I agree with Kristofer and Forest that Smith compliance is easy to 
attain, eg. through Copeland's method. I understood Richard as saying 
that explicit reference to the Smith set in the definition of a voting 
algorithm (eg. Smith/IRV, Smith/Minimax) puts it outside the class of 
methods which most voters can be expected to grasp (and I agree with 
that too).
CJC