#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll = long long;
int N,K;
vector<ll> A;

void solve(){
    map<ll,ll> mp;
    for(int i = 0;i<N;i++){
        mp[A[i]]++;
    }
    ll zero = mp[0];
    for(auto [key,value]:mp){
        if(key==0){
            continue;
        }
        if(value+zero>=K){
            cout<<"Yes"<<endl;
            return;
        }
    }
    if(zero>=K){
        cout<<"Yes"<<endl;
        return;
    }
    cout<<"No"<<endl;
}

signed main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cin >> N >> K;
    A = vector<ll>(N);
    for(int i = 0;i<N;i++){
        cin >> A[i];
    }
    solve();
}