HOL1-eat_drink_and_give_thanks