Balmer figured out the most profitable product is compliance sold to governments and other corporations. And Nadella figured out it's more profitable to lease it.