Thus, unlike the case of Vav1−/− mice [41], Vav1ΔC/ΔC animals do not develop T cell lymphopenia. The gene discussed is VAV1; the disease is lymphopenia.