The function of music is to release us from the boredom of existence.