Dante and Virgil in the Ninth Circle of Hell