法律を改正する法律の条文の適用結果は一意に定まるから、形式意味論的には効果が一意に定まるということだな?