On 4/9/19 10:41 AM, jaro.reinders at gmail.com wrote: > I found it: https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html > Thank you, this is obviously also relevant, but it's not the one I'm remembering. The notation is the same, though, so this explains what I'm looking for (and is also an interesting read).