ATP5IF1 and bacterial infectious disease: We generated and used mice devoid of IF1 in T lymphocytes and a DSS model of colon inflammation to illustrate that IF1-knockout mice cannot mount an effective CD4+ immune response against bacterial infection what compromises their survival.