But we haven't played against the mathematician yet... The decisive game for a spot in the semifinals...
I thought you had forgotten about it. Okay, then play until all the matches in your group are played (Proger-Mathematician, Mathematician-Benis).
If new matches are played in Group B during this time, they will also be taken into account in the final ranking.