次の解概念はそのような選択肢formula_30を除外するものである: