Totally agree. Allen Downey's work is an under appreciated treasure.