[virtualized]

IMO it goes more like this: Music makes you happy, being happy makes you more productive. Don't overthink this too much.

[aasasd]

That's addressed right in the post linked in the question: https://www.gwern.net/Music-distraction