[user:tourist,2024-08-12] might actually do it. For the first time in codeforces history there might be a user with more than 4000 rating, we know that tourist came very close to doachieving it but he couldn’t achieve it. Will this time be different? We shall wait and see…