ASTN2 and depressive symptom measurement: Case K, the other individual with an ASTN2 deletion, has depression, ADHD, and Tourette syndrome.