Lucifer (red) and Mephistopheles (blue), as they appear in...