That's one thing for sure. I think the bigger problem for me is the rice's theorem/halting problem as it pertains to containment and aspects of instrumental co

That's one thing for sure. I think the bigger problem for me is the rice's theorem/halting problem as it pertains to containment and aspects of instrumental convergence.