
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
On the Isle of Logic, there live 40 knights (who always tell the truth), 25 liars (who always lie), and several sophists. A sophist can only make statements that neither a knight nor a liar could say in their place. For example, when standing next to a liar, a sophist can say "We are both liars" (because if he were a knight, the statement would be a lie, and if he were a liar, it would be the truth). One day, a sophist made two statements about the island's inhabitants: 

1. "There are exactly ... liars on the island."
2. "There are no more sophists on the island than liars."

Reconstruct the first statement made by the sophist. How many sophists are on the island?

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