user
Instruction:Check if the following phrase is a well-formed formula

Input: ∃x P(x)


assistant
Yes, the phrase is a well-formed formula. It is a statement that there exists an x such that P(x) holds.