Reasoning about Tsoi and Korean games (comments from peek-a-boo)