We derive an ex post neutral comprehensive income tax on pension schemes equivalent to a Johansson-Samuelson tax that guarantees non-discriminatory treatment of lifetime-dependent and other investments. By separately taxing contributions and benefits, our concept does not require any assumptions...