Doctor Faustus: play music : play music