function Main(INPUT){
  const input=INPUT.split("\n");
  const [N,M,K]=input[0].split(" ").map(_=>parseInt(_));
  const start=input[1].split(" ").map(_=>parseInt(_));
  const path=Array(N).fill().map(_=>[]);
  for(let i=0;i<M;i++){
    let [u,v]=input[i+2].split(" ").map(_=>parseInt(_));
    u--;
    v--;
    path[u].push(v);
    path[v].push(u);
  }
  const reach=Array(N).fill().map(_=>Array(N).fill().map(_=>[]));
  for(let i=0;i<K;i++){
    let s=start[i];
    s--;
    const check=Array(N).fill().map(_=>Array(N).fill().map(_=>false));
    check[s][0]=true;
    let q=[[s,0]];
    while(q.length>0){
      let [now,b]=q.pop();
      reach[now][b].push(i);
      if(b==N-1) continue;
      for(let x of path[now]){
        if(!check[x][b+1]){
          check[x][b+1]=true;
          q.push([x,b+1]);
        }
      }
    }
  }
  let ok=false;
  for(let i=0;i<N;i++){
    for(let j=0;j<N;j++){
      if(reach[i][j].length==K) ok=true;
    }
  }
  console.log(ok?"Yes":"No");
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));