SHANK3 and autism: The presence of repetitive behaviours, a core feature of autism and PMD, is the most robust phenotype observed in the Shank3-KO murine models of autism.