You are downloading songs to your tablet. The ratio of pop songs to rock songs is 5 : 4. You download 40 pop songs. How many rock songs do you download?