In non deterministic computation, verificaition will be key challenge. Curious to see how companies address this.