~ x = y ”, but “ ( ∃ x , y ) . f ⁡ ( x , y ) ”.

473