Dijkstra did something similar when he derived a generalization of the theorem[1]. [1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975.html https:

Dijkstra did something similar when he derived a generalization of the theorem[1]. [1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975...