And if we zoom in sufficiently, it will actually look like a line. It's hard to believe when you're really zoomed out. And I'm going at the point that really looked like a corner from a distance. But as we zoom in, we see once again this local linearity. And it's a non-vertical line. And so once again, this is true at any point on this curve, that we are going to be differentiable. So the whole point here is sometimes you might have to zoom in a lot.