Title: The history of Doctor John Faustus