IIRC, there were two kinds of cancellation ink - black and red. The black just dissolved in isopropyl alcohol, but red was permanent. Probably the result of some cost / benefit analysis.