Three individuals (dining together in a restaurant) are trying to choose a bottle of wine to share. There are five types of wine on the wine-list - all with different prices - and each individual's weak preference relation over the five alternatives is an "ordering". The individuals' preference orderings must be somehow combined to make a group decision. Suppose the group uses the following social choice function to make their choice. They will eliminate any alternative that is ranked, by any one individual, strictly lower than all the other alternatives (i.e. any alternative that is somebody's "least preferred"). They will then choose the cheapest of those bottles of wine that remain. Which of the axioms in the "Gibbard-Satterthwaite Theorem" is contravened by this social choice function? Surjectivety Non-dictatorship Strategy-proofness None of the above