CondConfにNot制約が必要ですねぇ