つまり本来であれば以下の対応になるはずであった。