Yes, it's a min heap. So it always pops its smallest element. So in the end, since it popped all the small elements, it contains the k largest elements. And the smallest of those is the k-th largest element.