//start of jonathanirvings' template v3.0.3 (BETA)

#include <bits/stdc++.h>
using namespace std;

typedef long long LL;
typedef pair<int,int> pii;
typedef pair<LL,LL> pll;
typedef pair<string,string> pss;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<pii> vii;
typedef vector<LL> vl;
typedef vector<vl> vvl;

double EPS = 1e-9;
int INF = 1000000005;
long long INFF = 1000000000000000005LL;
double PI = acos(-1);
int dirx[8] = {-1,0,0,1,-1,-1,1,1};
int diry[8] = {0,1,-1,0,-1,1,-1,1};

#ifdef TESTING
  #define DEBUG fprintf(stderr,"====TESTING====\n")
  #define VALUE(x) cerr << "The value of " << #x << " is " << x << endl
  #define debug(...) fprintf(stderr, __VA_ARGS__)
#else
  #define DEBUG 
  #define VALUE(x)
  #define debug(...)
#endif

#define FOR(a,b,c) for (int (a)=(b);(a)<(c);++(a))
#define FORN(a,b,c) for (int (a)=(b);(a)<=(c);++(a))
#define FORD(a,b,c) for (int (a)=(b);(a)>=(c);--(a))
#define FORSQ(a,b,c) for (int (a)=(b);(a)*(a)<=(c);++(a))
#define FORC(a,b,c) for (char (a)=(b);(a)<=(c);++(a))
#define FOREACH(a,b) for (auto &(a) : (b))
#define REP(i,n) FOR(i,0,n)
#define REPN(i,n) FORN(i,1,n)
#define MAX(a,b) a = max(a,b)
#define MIN(a,b) a = min(a,b)
#define SQR(x) ((LL)(x) * (x))
#define RESET(a,b) memset(a,b,sizeof(a))
#define fi first
#define se second
#define mp make_pair
#define pb push_back
#define ALL(v) v.begin(),v.end()
#define ALLA(arr,sz) arr,arr+sz
#define SIZE(v) (int)v.size()
#define SORT(v) sort(ALL(v))
#define REVERSE(v) reverse(ALL(v))
#define SORTA(arr,sz) sort(ALLA(arr,sz))
#define REVERSEA(arr,sz) reverse(ALLA(arr,sz))
#define PERMUTE next_permutation
#define TC(t) while(t--)

inline string IntToString(LL a){
  char x[100];
  sprintf(x,"%lld",a); string s = x;
  return s;
}

inline LL StringToInt(string a){
  char x[100]; LL res;
  strcpy(x,a.c_str()); sscanf(x,"%lld",&res);
  return res;
}

inline string GetString(void){
  char x[1000005];
  scanf("%s",x); string s = x;
  return s;
}

inline string uppercase(string s){
  int n = SIZE(s); 
  REP(i,n) if (s[i] >= 'a' && s[i] <= 'z') s[i] = s[i] - 'a' + 'A';
  return s;
}

inline string lowercase(string s){
  int n = SIZE(s); 
  REP(i,n) if (s[i] >= 'A' && s[i] <= 'Z') s[i] = s[i] - 'A' + 'a';
  return s;
}

inline void OPEN (string s) {
  freopen ((s + ".in").c_str (), "r", stdin);
  freopen ((s + ".out").c_str (), "w", stdout);
}

//end of jonathanirvings' template v3.0.3 (BETA)

int ada[100005];
int pos[100005];
vi baris;
int n,m,q;
int data[100005];
int sudah[100005];
int now = 1;

int main()
{
  scanf("%d %d",&n,&m);
  RESET(pos,-1);
  scanf("%d",&q);
  REP(i,q)
  {
    scanf("%d",&data[i]);
  }
  baris.pb(-1);
  ada[0] = n;
  FORD(i,q-1,0)
  {
    if (pos[data[i]] == -1)
    {
      pos[data[i]] = SIZE(baris);
      baris.pb(data[i]);
      ada[pos[data[i]]] = 0;
    }
    if (ada[pos[data[i]]-1] > ada[pos[data[i]]])
    {
      ++ada[pos[data[i]]];
    }
  }
  /*int xx = ada[SIZE(baris)-1];
  FORN(i,1,100000)
  {
    if (baris[SIZE(baris)-1] == i && ada[SIZE(baris)-1] == xx) baris.pop_back();
  }*/
  //REP(i,SIZE(baris)) VALUE(baris[i]);
  //REP(i,SIZE(baris)) VALUE(ada[i]);
  REP(i,SIZE(baris)) if(ada[i] != n) goto gabisa;
  puts("Yes");
  return 0;
  gabisa:;
  FOR(i,1,SIZE(baris))
  {
    if (ada[i] == n) sudah[baris[i]] = 1;
    else
    {
      while (sudah[now]) ++now;
      sudah[now] = 1;
      if (baris[i] != now)
      {
        puts("No");
        return 0;
      }
    }
  }
  puts("Yes");
  return 0;
}










Measured memory_bytes: 2296