Was John Nash autistic?