HOL.Cocktail 2.22.19