weakening of negative literals