
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
Which of the following conclusions is incorrect?

① The proposition "If _p_, then _q_" and the proposition "If not _q_, then not _p_" are contrapositives of each other;  
② For proposition _p_: For all _x_ in \[0,1\], $e^x \geq 1$, and proposition _q_: There exists an _x_ in $\mathbb{R}$, such that $x^2 + x + 1 < 0$, then _p_ OR _q_ is true;  
③ The converse of the proposition "If $a m^2 < b m^2$, then _a_ < _b_" is true;  
④ If _p_ OR _q_ is false, then both _p_ and _q_ are false.

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