Dijkstra would lambast you for that error :-)
But I just quoted the linked PDF a few comments above in the chain.
Dijkstra would lambast you for that error :-)