I should have tagged this #trymathslive, like @DavidKButler does on BSky.

This little thread is because I want to add another feature to a very back-burner paper with a coauthor in functional or global analysis or something involving possibly nasty infinite-dimensional topological vector spaces.

But you have to actually know what you should prove first, and no sources I found online ever discussed this stuff in the way I wanted, let alone gave examples that test the boundaries.

My interlocutor elsewhere was taking his own approach, which is fine, but it didn't match what I was doing. I think we'll get there in the end, re: the nLab page.

@icecolbeveridge #TryMathsLive
Now let's return to the 60 available points for wins. My team is already taken 4 of them.
That's 56 left, the other five teams have to split those. Average is 11 per team, but you win those sets of 4. How about one team with eight points and four teams with 12 points?

Aha, then if no other team got any bonus points anywhere, my team wins!