I heard Pat Radford is leaving, and you know Bob Carter is leaving, right?