something being “first” implies existence and the statement is wrong if the something does not exist.
“everytime i’ve met yetAnotherUser, they promised me all their money” on the other hand is true, because we never met and existence of a meeting is not required.
or to look at it in a more mathy way:
“For all X y is true” is false if an x exists for which y is false, if no X exists no X exists for which y is false and thus “For all X y is true” is a true statement, but your statement is “there is an X_i from the set X=X_j for which y is true” which is false if no X_i is in the set.
something being “first” implies existence and the statement is wrong if the something does not exist.
“everytime i’ve met yetAnotherUser, they promised me all their money” on the other hand is true, because we never met and existence of a meeting is not required.
or to look at it in a more mathy way:
“For all X y is true” is false if an x exists for which y is false, if no X exists no X exists for which y is false and thus “For all X y is true” is a true statement, but your statement is “there is an X_i from the set X=X_j for which y is true” which is false if no X_i is in the set.