This is a programming note that Thursday and Friday are Sukkot and I will be offline the next two days. I will be offline on Thursday and Friday, October 17th and October 18th.