(Designing agendas) A committee has three members; there are five alternatives. One member prefers x to y to v to w to z, another prefers z to x to v to w to y, and the third prefers y to z to w to v to x. Find the top cycle set, and for each alternative a in the set design a binary agenda for which a is the outcome of sophisticated voting. Convince yourself that for no binary agenda is the outcome of sophisticated voting outside the top cycle set.