 Under that theorem, it is impossible to have a social choice function that satisfies "unrestricted domain", "Pareto efficiency", "independence of irrelevant alternatives", and "non-dictatorship".However, the conditions of the theorem can be satisfied if unrestricted domain is removed.Duncan Black defined a restriction to domains of social choice functions called ""single-peaked preferences"".