"Aladdin isn't a nickname exactly; anyway, he laughed and seemed to like it."