I thought Kennedy was the one retiring this summer.
Kennedy and Thomas both mentioned retiring. It just may be this summer for both.