So8res comments on Let’s conduct a survey on the quality of MIRI’s implementation