James W. Demmel elected to the American Academy of Arts and Sciences. Congratulations!