RIP John Forbes Nash Jr.