It’s a happy ending! Merry Christmas to all.