s = list(map(int, input().split()))
n, k, q = s[0], s[1], s[2]
a_list = [int(input()) for _ in range(q)]


count_dict = {}
for a in a_list:
if a in count_dict:
count_dict[a] += 1
else:
count_dict[a] = 1

for i in range(1, n + 1):
values = k - q
if i in count_dict:
values += count_dict[i]
result = 'Yes' if values > 0 else 'No'
print(result)