CA9 and neoplasm: Herein, we have introduced a new mathematical model of tumor–immune interactions and applied it to investigate the effectiveness of immunotherapy and CAIX inhibition.