N,K=map(int,input().split())
A=list(map(int,input().split()))

B=[]
for k in range(K-1):
    B.append(A[k+1]-A[k])

if 1 in B or 2 in B or 3 in B:
    print("No")
else:
    print("Yes")