
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 propositions:  
① The negation of the proposition "There exists an $x \in \mathbb{R}$, such that $x^2+1>3x$" is "For all $x \in \mathbb{R}$, $x^2+1 \leq 3x$";  
② "$m=-2$" is a sufficient but not necessary condition for "The line $(m+2)x+my+1=0$ is perpendicular to the line $(m-2)x+(m+2)y-3=0$";  
③ Given a circle $x^2+y^2+Dx+Ey+F=0$ ($D^2+E^2-4F>0$) that intersects the coordinate axes at four points, namely $A(x_1,0)$, $B(x_2,0)$, $C(0,y_1)$, and $D(0,y_2)$, then $x_1x_2-y_1y_2=0$;  
④ The solution set of the inequality $|x+1|+|x-3| \geq m$ is $\mathbb{R}$, then $m \leq 4$.  
The numbers of all true propositions are.

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