Neither the loss of GABAergic cells nor microcephaly per se causes ASD social phenotypes in FoxG1 haploinsufficient animals. The gene discussed is FOXG1; the disease is microcephaly.