sub-negations