With reference to Example 1 under the Employment Benefits lecture, the $6m benefits paid out is deducted from the Pension Asset as well as the Pension Liability. I was wondering how the double entry works with this $6m, as there is no mentioning of this $6m as a cash outflow in the lecture?