 Minimal liberalism: There are at least two distinct individuals \(i, j \in N\) who are each decisive on at least one pair of alternatives; i.e., there is at least one pair of (distinct) alternatives \(x, y \in X\) such that, for every profile \(\langle R_1, R_2 , \ldots ,R_n\rangle\), \(xP_i y\) implies \(xPy\), and \(yP_i x\) implies \(yPx,\) and at least one pair of (distinct) alternatives \(x^*, y^* \in X\) such that, for every profile \(\langle R_1, R_2 , \ldots ,R_n\rangle\), \(x^*P_j y^*\) implies \(x^*Py^*,\) and \(y^*P_jx^*\) implies \(y^*Px^*.\)