Pension Plain: When death benefit buys an annuity, no lump tax is payable