#include <bits/stdc++.h>
using namespace std;
int d[3005];
int main() {
  int n, m, i;
  ;
  scanf("%d%d", &n, &m);
  for (i = 0; i < m; i++) scanf("%d", &d[i]);
  sort(d, d + m);
  if (d[0] == 1 || d[m - 1] == n) {
    puts("NO");
    return 0;
  }
  for (i = 2; i < m; i++) {
    if (d[i] - d[i - 1] == 1 && d[i - 1] - d[i - 2] == 1) {
      puts("NO");
      return 0;
    }
  }
  puts("YES");
  return 0;
}
