Jack Good RIP (1931-2017)