the theme song for that 70s show is what?
(AND tv.tv_theme_song (JOIN tv.tv_theme_song.theme_song_for m.01p4wv))