Ist x ≠ x . ≡ x. φx identisch mit (x).~[x|φ]x?(Ƒ) Gewiss!