re: #104 HappyWarrior
Only Grover won though.
Who is this Thomas? I know the answer is obvious, but I can’t figure it out.