Strong negative relationship between population-level general intelligence and ADHD genetic factors inferred from allele frequencies