#include<iostream>
#include<vector>
#include<set>
using namespace std;
set<int>visited;
vector<set<int>>ans;
vector<vector<int>>graph;
vector<set<set<int>>>memo;
void dfs(int now){
    if(memo[now-1].count(visited))return ;
    memo[now-1].insert(visited);
    visited.insert(now);
    ans[visited.size()].insert(now);
    for(int i=0;i<graph[now-1].size();i++)if(visited.count(graph[now-1][i])==0)dfs(graph[now-1][i]);
    visited.erase(now);
}
int main()
{
    int N,M,K;
    cin >> N >> M >> K;
    set<int>st;
    for(int i=0;i<K;i++){
        int x;
        cin >> x;
        st.insert(x);
    }
    if(st.size()==1){
        cout << "Yes" << endl;
        return 0;
    }
    for(int i=0;i<=N;i++)ans.push_back({});
    for(int i=0;i<N;i++)graph.push_back({});
    for(int i=0;i<N;i++)memo.push_back({});
    for(int i=0;i<M;i++){
        int a,b;
        cin >> a >> b;
        graph[a-1].push_back(b);
        graph[b-1].push_back(a);
    }
    for(int i=1;i<=N;i++)dfs(i);
    bool ok=false;
    for(int i=1;i<=N;i++)if(ans[i]==st)ok=true;
    if(ok)cout << "Yes" << endl;
    else cout << "No" << endl;
}