/?  
(∃xyz)xRy ∙ yRz ∙ xRz ∙ yRx ∙ zRy ∙ zRx ≝ (∃3)ζRη
  Hat es hier einen Sinn zu sagen daß 3 aus 2 [und| + ] 1 besteht?