Yup. The rumor mill was talking about a CEO change for a while, and around the time you saw the rumors building you saw the departures you mentioned. Ternus was being mentioned as the likely successor at least back to November last year. So internally the shifts have already been happening for some time, only observable on the outside via the high profile departures.