@Michael ******
in Australia super funds contribution are taxed at 15% and the balance at retirement is considered tax-paid. So withdrawal of lump sums or small pension payments are not taxable.
They are declared in your Australia tax return but are exempt. My understanding.