Well, I guess they found a substitute for Pat Gelsinger.