> That is not a First Order Logic statement. I think perhaps you mean "forall X, P(X)" or "∀x: P(x)". You seem to have had no trouble understanding what I wrot

> That is not a First Order Logic statement. I think perhaps you mean "forall X, P(X)" or "∀x: P(x)". You seem to have had no trouble understanding what I wrote. What's the point of this comment?