> 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 s

> 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...