
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
Given the following analogical reasoning propositions (where $R$ is the set of real numbers, and $C$ is the set of complex numbers):  
① "If $a, b \in R$, then $a-b=0 \Rightarrow a=b$" is analogous to "If $a, b \in C$, then $a-b=0 \Rightarrow a=b$";  
② "If $a, b \in R$, then $ab=0 \Rightarrow a=0$ or $b=0$" is analogous to "If $a, b \in C$, then $ab=0 \Rightarrow a=0$ or $b=0$";  
③ "If $a, b \in R$, then $a-b>0 \Rightarrow a>b$" is analogous to "If $a, b \in C$, then $a-b>0 \Rightarrow a>b$";  
④ "If $a, b \in R$, then $a^2+b^2 \geq 0$" is analogous to "If $a, b \in C$, then $a^2+b^2 \geq 0$".  
The correct analogical conclusion numbers among all propositions are.

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