Question: "All I Want for Christmas is You" is a Christmas song by Mariah Carey, which is the lead single from an album that contains a contemporary holiday theme, and was released by who?
Sentence (from "Do You Want to Build a Snowman?"): As of November 25, 2016, the total sales of the digital track stands at 1,600,000 downloads according to Nielsen SoundScan, placing it second on the list of all-time best-selling Christmas/holiday digital singles in SoundScan history (behind Mariah Carey's 1994 hit single, "All I Want for Christmas Is You").
Relevant evidence: No