The problem is that the abstractions we are forced to create do not drastically change how we can think about the problem domain in question. We're often just

The problem is that the abstractions we are forced to create do not drastically change how we can think about the problem domain in question. We're often just hiding some mechanical details when in truth we should be searching for and codifying fundamental ontologies about the given domain. It's hard because at the same time we can't yet be users because the thing does not yet exist, but yet we can't really know what we must build without a user to inform us. We can create some imaginary notions with various creative explorations, but images can often deceive. I do believe the tools most used for software development are fundamentally terrible at modelling these ontologies and are really little more than telling computer to do A then do B and so have never really abstracted much at all.