demon_mephistopheles is not found!