DIS: Endgame XX

[Sean Hunt]

I propose the following rule:

At 12:00 July 1 2013 UTC+1200, Agora XX ends and the player with the most
points wins the game. In the event of a tie, the tied player who most
recently had more points than each other tied player wins.