Allen Downey writes great books. It's hard for me to overstate that.