TSC1 and tuberous sclerosis: For the quantification of TSC proliferation in co-culture, we labeled TSCs using an anti-CD40 (a TSC marker) antibody.