下位の上方修正って結局上位の下方修正だからなあ