(Therefore instead of Russell’s “ ( ∃ x , y ) . f ⁡ ( x , y ) ”: “ ( ∃ x , y ) . f

474