ILP02390 HOL Cheers to New Beginnings/6