y\geq 0 \land y_1,y_2\not\in\mathbb{R}