Interesting piece. I agree that much of the work is in the agent and a lot of what my startup is doing is adding these deterministic checks.