ああ、そういうことか。そういう制約の代わりに書いてるんじゃないかってことですね。