CA9 and neoplasm: Numerical simulations showed that, given an efficient immune response, CAIX KO tumors tended toward tumor elimination in contrast to their CAIX-expressing counterparts, which stabilized close to the positive equilibrium.