Yeah... That's also an unachievable ideal.

On practice, there exist platonic abstractions that hide mechanisms and can be this way, but you also need to abstract parts of your requirements. And you will never be able to achieve that while abstracting your requirements.

Dijkstra was an academic after all, and academics usually don't care about complex requirements.