One of the most interesting processes -- especially in engineering -- is to make a model to find out what it is that you are trying to make. Sounds a little weird, but the model winds up being a great focuser of "attempts at intent".

Now let's contemplate just how bad most languages are at allowing model building and having optimizations being orthogonal rather than intertwined ...