No podcast this week, owing to the Christmas holiday and real-world obligations. Happy Holidays, and we will be back next week.