. . "Cardoso’s lexical entry for 'Faustus exitus'" . . .