Thank you very much, Mike, for your detailed answer. This is very helpful. Wishing you a wonderful holiday season and happy new year!
