Title: Hadrian VII, a play