Wie ist es aber mit einem Ausdruck: (x): (∃y) ∙ y = 2x?