I always thought VMware was super lucky to have Pat as CEO. The mood is pretty grim today at VMware.