I shall now consider six types of models of social choice, evaluate their consistency with available data, and consider the problems of the concept of power associated with them. By a model I mean a set of statements about the way in which individual choices (or behavior) are transformed into social choices, and a procedure for using those statements to derive some empirically meaningful predictions. The six types of models are: