That's correct, and I will add a precision, which is that it's half of their unreduced pension as well, because often plans—early retirement, CPP, etc.—can be reduced, so it's probably more than half. Anyway, for simplicity we will say it would be half, and you have that right.
On May 20th, 2022. See this statement in context.