Their math seems to assume that benefits only apply to people still in Alberta. If a lifelong Albertan moves out of province at retirement, they definitely deserve benefits from the Alberta pool and cheques would need to go out across the whole country. So their pension obligations are probably higher than estimated.