“The market for core operating systems is controlled by three companies: Google (with Android), Microsoft (with Windows), and Apple (with iOS and macOS).”