Merk at den kommutative lov gjelder på tvers av kvantorene! Alle [] elsker noen [] (oppfylt selv om f.eks. ikke elskes av noen). Alle [] elskes av noen [] (oppfylt selv om f.eks. ikke elsker noen). Noen [] elsker alle []. Noen [] elskes av alle [].