5˙332
Und analog, nicht „(∃x,y) ∙ F(x,y) ∙ x = y”, sondern „(∃x) ∙ F(x,x)”
                    und nicht „(∃x,y) ∙ F(x,y) ∙ x ≠ y”, sondern „(∃x,y) ∙ F(x,y)”
(Also statt dem Russellschen „(∃x,y) ∙ F(x,y)”: „(∃x,y) ∙ F(x,y) ⌵ (∃x) ∙ F(x,x)”)