johnswentworth comments on What Selection Theorems Do We Expect/​Want?