Title doesn't have to be exact, e.g. this will still resolve YES if they decide to use Roman numerals instead of Arabic numerals, or if the game is given a subtitle, or they go with a different titling/numbering scheme, etc.

So long as it is a numbered mainline game and it actually releases in 2023, this market will resolve YES.

If 2024 begins and it has not come out, this market will resolve NO.