RIP John Nash :/