The making of Disney’s Zootopia.