⊃ . f ⁡ a : ~ ( ∃ x , y ) . f ⁡ x . f ⁡ y ”.

477