 Theorem (combining several results from the literature, as illustrated below): Under each of OLC, CUC, and ONC\(+0\), there exist SWFLs satisfying universal domain, ordering, the weak Pareto principle, independence of irrelevant alternatives, and non-dictatorship (as well as stronger conditions).