ltl red deleted* is following