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