Das „(∃x)” bezieht sich immer auf die Ausrechnung einer Gleichung & auf das was dabei herauskommen soll.