(∃x,y)φx ∙ x = y .. φx ∙ φy