(∃x,y)ϕx∙x=y ·[|]· ϕx∙ϕy