As usually, I will point out that this would be probably a better fit for
Math Meta Chat. But I assume that occasional digression from the main topic of the room is not that bad. (Of course, if the discussion is likely to get much longer, it might be better to continue elsewhere.)