{x^2 + y^2 == 1, y == t*(x + 1)}