Ingredient: crushed peppermints