Comment by trip-zip

> guaranteeing behavior to the client requirements

> built by humans, with elegant abstractions

Frankly, I look at both of these options and think I haven't seen either in the wild...