There is no contradiction because the conditions of the existence and uniqueness theorem are only satisfied for points above the parabola \(y=-\dfrac{t^2}{4}\), and the point \((2,1)\) is on the parabola. For verification that \(y_1\) and \(y_2\) are solutions to the same initial value problem, see video below.