HOL.Cocktail 9.21.17