And we saw from when we solved this, when we just did our pattern matching, that the x-coordinate of our focus is equivalent to, if we just pattern match right here, x minus a squared, here you have x minus 0 squared.