And that’s the end of that week of bad puns. Also, happy new year.