Ist x ≠ x . ≡ x. φx identisch mit (x).~φx?(Ƒ) Gewiß!