I also don't get: Then we require the following properties to hold: [...] * The result of removing a single voter from a majority is still a majori

I also don't get: Then we require the following properties to hold: [...] * The result of removing a single voter from a majority is still a majority. I'm not sure how that property always holds.