added negations in subset