/*

This Submission is to determine how many 120/240 min const. delivery point there are.

//info
120 req. steps <= 5
*/
#define  _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <algorithm>
#include <utility>
#include <functional>
#include <cstring>
#include <queue>
#include <stack>
#include <math.h>
#include <iterator>
#include <vector>
#include <string>
#include <set>
#include <math.h>
#include <iostream>
#include <random>
#include<map>
#include <iomanip>
#include <time.h>
#include <stdlib.h>
#include <list>
#include <typeinfo>
#include <list>
#include <set>
#include <cassert>
#include<fstream>
#include <unordered_map>
#include <cstdlib>
#include <complex>
#include <cctype>
#include <bitset>
using namespace std;
typedef string::const_iterator State;
#define Ma_PI 3.141592653589793
#define eps 1e-5
#define LONG_INF 1e18
#define GOLD 1.61803398874989484820458
#define MAX_MOD 1000000007LL
#define MOD 998244353LL
#define seg_size 262144*4
#define REP(a,b) for(long long a = 0;a < b;++a)

unsigned long xor128() {
	static unsigned long x = time(NULL), y = 362436069, z = 521288629, w = 88675123;
	unsigned long t = (x ^ (x << 11));
	x = y; y = z; z = w;
	return (w = (w ^ (w >> 19)) ^ (t ^ (t >> 8)));
}
double dot(complex<double> a, complex<double> b) {
	return a.real() * b.real() + a.imag() * b.imag();
}
double gyaku_dot(complex<double> a, complex<double> b) {
	return a.real() * b.imag() - a.imag() * b.real();
}
double leng(complex<double> a) {
	return sqrt(a.real() * a.real() + a.imag() * a.imag());
}
double angles(complex<double> a, complex<double> b) {
	double cosine = dot(a, b) / (leng(a) * leng(b));
	double sine = gyaku_dot(a, b) / (leng(a) * leng(b));
	double kaku = acos(min((double)1.0, max((double)-1.0, cosine)));
	if (sine <= 0) {
		kaku = 2 * Ma_PI - kaku;
	}
	return kaku;
}
vector<int> convex_hull(vector<complex<double>> a) {
	vector<int> ans;
	double now_minnest = a[0].real();
	int now_itr = 0;
	REP(i, a.size()) {
		if (now_minnest > a[i].real()) {
			now_minnest = a[i].real();
			now_itr = i;
		}
	}
	ans.push_back(now_itr);
	complex<double> ba(0, 1);
	while (true) {
		int now_go = 0;
		double now_min = 0;
		double now_length = 0;
		int starter = ans[ans.size() - 1];
		for (int i = 0; i < a.size(); ++i) {
			if (i != starter) {
				double goa = angles(ba, a[i] - a[starter]);
				if (goa - now_min >= eps || (abs(goa - now_min) <= eps && (abs(a[i] - a[starter]) - now_length) >= eps)) {
					now_min = goa;
					now_go = i;
					now_length = abs(a[i] - a[starter]);
				}
			}
		}
		if (now_go == ans[0]) break;
		ans.push_back(now_go);
		ba = complex<double>(a[now_go] - a[starter]);
	}
	return ans;
}
long long target[200000];
long long filled[200000];
long long go[200000];
int done[200000];
int main() {
	iostream::sync_with_stdio(false);
	cin.tie(0);
	int n, m, query;
	cin >> n >> m >> query;
	vector<long long> inputs;
	REP(i, query) {
		int a;
		cin >> a;
		inputs.push_back(a);
	}
	//first we need to simulate it!
	int now_itr = 0;
	for (int i = inputs.size() - 1; i >= 0; --i) {
		if (done[inputs[i]] == 0) {
			target[inputs[i]] = now_itr;
			filled[now_itr] = inputs[i];
			done[inputs[i]] = 1;
			now_itr++;
		}
	}
	for (int i = 1; i <= m; ++i) {
		if (done[i] == 0) {
			target[i] = now_itr;
			filled[now_itr] = i;
			done[i] = 1;
			now_itr++;
		}
	}
	now_itr--;
	while (now_itr > 0) {
		if (filled[now_itr - 1] > filled[now_itr]) break;
		now_itr--;
	}
	for (int i = inputs.size() - 1; i >= 0; --i) {
		int hoge = target[inputs[i]];
		if (hoge >= now_itr) continue;
		if (go[hoge] == n) continue;
		int ok = 0;
		if (hoge == 0) {
			ok = 1;
		}
		else if (go[hoge] == 0 || go[hoge] + 1 <= go[hoge - 1]) {
			ok = 1;
		}
		if (ok == 1) {
			go[hoge]++;
			if (hoge != 0 && go[hoge] > go[hoge - 1]) {
				cout << "No" << endl;
				return 0;
			}
		}
	}
	for (int i = 0; i < now_itr; ++i) {
		if (go[i] < n) {
			cout << "No" << endl;
			return 0;
		}
	}
	cout << "Yes" << endl;
	return 0;
}

Measured memory_bytes: 4852