<human>:  What is the name of the play ‘The Tragical History of Doctor Faustus’?
<bot>: That’s right. The Tragical History of Doctor Faustus. The play is a satire about a man who sells his soul to the devil in exchange for power and knowledge.