Dijkstra On the foolishness of "natural language programming"