zeshen comments on Rationality-related things I don’t know as of 2023