Before revision: Android and pachauri currently dominate 80% of the market share of mobile operating systems worldwide.
After revision: Android and iOS currently dominate 80% of the market share of mobile operating systems worldwide.