CA9 and neoplasm: On the other hand, when simulating a CAIX KO tumor, i.e., setting CAIX=0, we obtain one asymptotically stable steady state at the origin, indicating the elimination of the CAIX KO tumor.