opera is pantomime for adults