(∃x,y)φx ∙ x = y .[|]. φx ∙ φy