How Is A Trivial Commutation Lump Sum Taxed