in this paper the problem of maximizing the expected accumulated discounted tax payments of an insurance company, whose reserve process (before taxes are deducted) evolves as a spectrally negative Lévy process with the usual exclusion of negative subordinator or deterministic drift. Tax payments are collected according to the very general loss-carryforward tax system introduced in Kyprianou and Zhou (2009). To achieve a balance between taxation optimization and solvency, we consider an interesting modified objective function by considering the expected accumulated discounted tax payments of the company until the general draw-down time, instead of until the classical ruin time. The optimal tax return function together with the optimal tax strategy is derived, and some numerical examples are also provided. processes and the Markove additive processes. In the following, we will summarize the vast loss-carryforward tax concerned literatures which, classified by the problems addressed in these literatures, consists of four components: (1) Gerber-Shiu function; (2) Distribution of the accumulated discounted tax payments; (3) Maximizing the expected accumulated discounted tax payments by delaying starting taxation until the surplus exceeds a critical threshold level; and (4) Finding the optimal tax strategy to maximize the expected accumulated discounted tax payments.With respect to (1), the study concerning loss-carry-forward tax has undergone an impressive metamorphosis. The earliest work of Albrecher and Hipp (2007) found a simple relationship (or, called, tax identity) between the ruin probabilities under the classical compound Poisson risk models with and without constant tax rate. By linking queueing concepts with risk theory, another simple and insightful proof for the tax identity was provided in Albrecher et al. (2009). The tax identity was then extended to the classical compound Poisson risk processes with constant credit interest rate and surplus-dependent tax rate in Wei (2009); to the spectrally negative Lévy risk processes with constant tax rate in Albrecher et al. (2008); to the time-homogeneous diffusion risk processes with surplus-dependent tax rate in Li et al. (2013); and to the Markove additive risk processes with surplus-dependent tax rate in Albrecher et al. (2014). Full form of Gerber-Shiu functions was derived by Wang et al. (2011) in the classical compound Poisson risk model with a constant tax rate; by Ming et al. (2010) in the classical compound Poisson risk model with a constant tax, credit interest and debit interest rate; by Cheung and Landriault (2012) in the classical compound Poisson risk models with surplus-dependent premium and tax rate; by Wei et al. (2010) in the Markov-modulated risk models with constant tax rate; and by Kyprianou and Zhou (2009) in the Lévy risk models with surplus-dependent tax rate. One can find the earliest work for (2) and (3) in Albrecher and Hipp (2007) in the classical compound Poisson risk model with a constant tax rate. These results were then generalized ...