Robert S. Aumen
overview