無視されるようになるのは配列外参照, !, preconditionでしたっけ、他にあるかな