#include<bits/stdc++.h>
//ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
//clock_t start=clock();clock_t end=clock();cout<<(double)(end-start)/CLOCKS_PER_SEC<<endl;
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int ui;
typedef pair<int,int> pii;
typedef pair<pii,int> ppii;
typedef pair<int,pii> pipi;
typedef pair<ll,ll> pll;
typedef pair<pll,ll> ppll;
typedef pair<ll,pll> plpl;
typedef pair<pii,pii> P;
typedef tuple<ll,ll,ll> tl;
typedef pair<double,double> pdd;
typedef vector<vector<ll>> mat;
ll mod=1000000007;
ll mod2=998244353;
ll mod3=1000003;
ll mod4=998244853;
ll mod5=1000000009;
ll inf=1LL<<62;
double pi=3.141592653589793238462643383279L;
double eps=1e-14;
#define rep(i,m,n) for(ll i=m;i<n;i++)
#define rrep(i,n,m) for(ll i=n;i>=m;i--)
#define srep(itr,st) for(auto itr=st.begin();itr!=st.end();itr++)
#define mrep(itr,mp) for(auto& itr:mp)
#define Max(a,b) a=max(a,b)
#define Min(a,b) a=min(a,b)
int dh[4]={1,-1,0,0};
int dw[4]={0,0,1,-1};
int ddh[8]={-1,-1,-1,0,0,1,1,1};
int ddw[8]={-1,0,1,-1,1,-1,0,1};
struct custom_hash {
    static uint64_t splitmix64(uint64_t x) {
        // http://xorshift.di.unimi.it/splitmix64.c
        x += 0x9e3779b97f4a7c15;
        x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9;
        x = (x ^ (x >> 27)) * 0x94d049bb133111eb;
        return x ^ (x >> 31);
    }

    size_t operator()(uint64_t x) const {
        static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();
        return splitmix64(x + FIXED_RANDOM);
    }
};
#define umh unordered_map<ll,ll,custom_hash>
ll gcd(ll a,ll b){
    if(a<b)swap(a,b);
    if(b==0)return a;
    if(a%b==0)return b;
    return gcd(b,a%b);
}
ll lcm(ll a,ll b){
    ll c=gcd(a,b);
    return a*b/c;
}
ll Pow(ll n,ll k){
    ll ret=1;
    ll now=n;
    while(k>0){
        if(k&1)ret*=now;
        now*=now;
        k/=2;
    }
    return ret;
}
ll beki(ll n,ll k,ll md){
  ll ret=1;
  ll now=n;
    now%=md;
  while(k>0){
    if(k%2==1){
      ret*=now;
      ret%=md;
    }
    now*=now;
    now%=md;
    k/=2;
  }
  return ret;
}
ll gyaku(ll n,ll md){
  return beki(n,md-2,md);
}
ll popcount(ll n){
    ll ret=0;
    ll u=n;
    while(u>0){
        ret+=u%2;
        u/=2;
        
    }
    return ret;
}

int main(){
    ios::sync_with_stdio(false);cin.tie(0);
    int n,m,q;cin>>n>>m>>q;
    int a[q];
    rep(i,0,q)cin>>a[i];
    int num[m+1];
    fill(num,num+m+1,-1);
    int now[m+1];
    fill(now,now+m+1,-1);
    now[0]=0;
    int len[n];
    fill(len,len+n,0);
    rrep(i,q-1,0){
        //rep(ii,0,2)cout<<len[ii]<<" ";
        //cout<<endl;
        if(num[a[i]]==-1){
            num[a[i]]=len[0];
            len[0]++;
            
        }
        else{
            int u=n,d=-1;
            int y=num[a[i]];
            while(u-d>1){
                int mid=(u+d)/2;
                if(len[mid]<=y)u=mid;
                else d=mid;
            }
            //cout<<y<<endl;
            if(u==n)continue;
            if(len[u]==y){
                len[u]++;
            }
            
        }
    }
    //rep(i,0,2)cout<<len[i]<<endl;
    int le=len[0];
    int le2=len[n-1];
    set<int> st;
    int ka[m+1];
    fill(ka,ka+m+1,-1);
    rep(i,1,m+1){
        if(num[i]>=0)ka[num[i]]=i;
    }
    //rep(i,0,3)cout<<ka[i]<<" ";
    //cout<<endl;
    rep(i,1,m+1)st.insert(i);
    rep(i,0,le2)st.erase(ka[i]);
    rep(i,le2,le){
        int u=ka[i];
        int uu=*st.begin();
        //cout<<u<<" "<<uu<<endl;
        if(u!=uu){
            cout<<"No"<<endl;
            return 0;
        }
        st.erase(st.begin());
    }
    cout<<"Yes"<<endl;
}




Measured memory_bytes: 6912