I completely agree. There should be motivating problems and examples. But I don't think that's at odds with Dijkstra's viewpoint?