Title: The devil and Doctor Faustus