
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Among the following four conclusions, the correct one is __________. (Fill in the serial number)

① "x≠0" is a necessary but not sufficient condition for "x + |x| > 0";

② Given a, b ∈ R, the necessary and sufficient condition for "|a + b| = |a| + |b|" is ab > 0;

③ "a > 0, and Δ = b^2 - 4ac ≤ 0" is the necessary and sufficient condition for "the solution set of the quadratic inequality ax^2 + bx + c ≥ 0 is R";

④ "x ≠ 1" is a sufficient but not necessary condition for "x^2 ≠ 1".

Present the answer in LaTex format: \boxed{Your answer}
user