
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
There are the following four propositions:  
① The converse of "If $x+y=0$, then $x$ and $y$ are opposite numbers";  
② The negation of "The areas of congruent triangles are equal";  
③ The contrapositive of "If $a+5$ is an irrational number, then $a$ is an irrational number";  
④ The converse of "If $a$ and $b$ are both even numbers, then $a+b$ is an even number";  
Among these, the true propositions are \_\_\_\_\_\_.

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