Is There a Way to Get the Spec to Be True?

On the speed aspect, yeah, looking at stuff like cycles and so on, there is a lot more work to be done. And other stuff we have talked about doing are basically around exploring the state space more efficiently or more intelligently than just being doing random stuff. So you might want to like direct it somehow or have a more guided testing there as we speak. You could write an implementation that talks to another implementation that swaps out for something else. But basically any system that you observe from that can trigger actions in those two big operations either way.