Where do you see any of that represented in Red Hat's business performance? Their growth has been strong the last five years and shows no sign of high stress or decline being imminent. They're tracking to solidly double their sales over four years from the end of fiscal 2015.