root wrote:
pikhq's announcement was similar, but each action read "decreate" rather than "decrease". I argue that this difference is meaningless per Rule 754(i).
Gratuituous arguments for 1814: More precisely, each action in pikhq's announcement read "decreate by 1" rather than "decrease by -1". I argue that this difference is significant enough to make 1814 FALSE, even if 1813 is TRUE.