An interesting note in the New Mermaid edition of Doctor Faustus states that the name Mephostophilis wasn’t known before the Faustus legend. A.E. Taylor, in a letter to T.L.S. (6th December 1917) suggested that it might derive from the Greek me faustopheles, which translates as ‘no true friend to Faustus’.