Further comments on Dijkstra's concurrent programming control problem | Synapse