Title: Does humor belong in music?