You can just read what Dijkstra said about it already 30 years ago, not much has changed, and I would have little to add.