Revenue (Deferred Revenue) (Details) $ in Millions	6 Months Ended
	Jun. 30, 2020 USD ($)
Contract Liability [Roll Forward]
Beginning Balance	$ 75
Increases due to cash received or receivable, excluding amounts recognized as revenue during the period	34
Revenue recognized that was included in the deferred revenue balance at the beginning of the period	(12)
Ending Balance	$ 97