Thanks for clarifying that. I continue to think what Disney did in Aladdin is comparable to what's often done in films about characters like Robin Hood and Zorro, but everyone's free to disagree, of course.