Robert E. Lucas, Jr. (1937-2023)

portrait