#include <bits/stdc++.h>
using namespace std;
vector<int> v1, v2;
int lis(int a, int b) {
  vector<int> vlis;
  vector<int>::iterator it;
  for (int i = a; i <= b; i++) {
    if (v1[i] < v1[a] || v1[b] < v1[i]) {
      continue;
    }
    it = upper_bound(vlis.begin(), vlis.end(), v1[i]);
    if (it == vlis.end()) {
      vlis.push_back(v1[i]);
      continue;
    }
    vlis[it - vlis.begin()] = v1[i];
  }
  return b - a + 1 - vlis.size();
}
int main() {
  int n, k, a;
  cin >> n >> k;
  v1.push_back(-1e9);
  for (int i = 0; i < n; i++) {
    cin >> a;
    v1.push_back(a - i);
  }
  v1.push_back(1e9);
  v2.push_back(0);
  for (int i = 0; i < k; i++) {
    cin >> a;
    v2.push_back(a);
  }
  v2.push_back(n + 1);
  sort(v2.begin(), v2.end());
  for (int i = 0; i < v2.size() - 1; i++) {
    if (v1[v2[i + 1]] < v1[v2[i]]) {
      cout << -1 << endl;
      return 0;
    }
  }
  int sol = 0;
  for (int i = 0; i < v2.size() - 1; i++) {
    sol += lis(v2[i], v2[i + 1]);
  }
  cout << sol << endl;
}
