
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 four propositions:
① If two lines in a plane are both parallel to another plane, then these two planes are parallel to each other;
② Two lines perpendicular to the same line are parallel to each other;
③ If a plane passes through a perpendicular line of another plane, then these two planes are perpendicular to each other;
④ If two planes are perpendicular, then a line in one plane that is not perpendicular to their line of intersection is also not perpendicular to the other plane.
The sequence numbers of the true propositions are.

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