Aladdin and the wicked magician