Question: What is the number of music that is named after heavy metal or that has the tech_house subreddit.
Choices:
0
1
2
3
4
5
6
7
8
9