SHANK3 and premenstrual tension: The KO mice are instrumental to understand the function of Shank3, while the Het mice have significantly greater construct validity for PMS, a haploinsufficiency syndrome.