Comments on 10/7 In Musical Theater History