I was thinking about the second one you linked, even though it's not exactly what I'm saying, one of the points being made is similar. Also the first half of th

I was thinking about the second one you linked, even though it's not exactly what I'm saying, one of the points being made is similar. Also the first half of this: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD898.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E... is related.