math71 comments on [missing post]