A children's musical theater production.