無効な状況を予測可能にする