If you end up running the Prov, it would be wise to keep a real AI on hand. It's AI properties are weak at best, especially in a head to head comparison with Exe or Dex.