HOL.Cocktail 11.7.17-1