import java.io.*;
import java.util.*;
import java.util.function.*;
import java.util.stream.*;

public class Main {
    public static void main(String[] args) throws Exception {
        Scanner sc = new Scanner();
        int n = sc.nextInt();
        int m = sc.nextInt();
        int k = sc.nextInt();
        int[] starts = new int[k];
        for (int i = 0; i < k; i++) {
            starts[i] = sc.nextInt() - 1;
        }
        List<List<Integer>> graph = new ArrayList<>();
        for (int i = 0; i < n; i++) {
            graph.add(new ArrayList<>());
        }
        for (int i = 0; i < m; i++) {
            int a = sc.nextInt() - 1;
            int b = sc.nextInt() - 1;
            graph.get(a).add(b);
            graph.get(b).add(a);
        }
        int[][] costs = new int[k][n];
        Deque<Path> deq = new ArrayDeque<>();
        for (int i = 0; i < k; i++) {
            Arrays.fill(costs[i], Integer.MAX_VALUE);
            deq.add(new Path(starts[i], 0));
            while (deq.size() > 0) {
                Path p = deq.poll();
                if (costs[i][p.idx] <= p.value) {
                    continue;
                }
                costs[i][p.idx]  = p.value;
                for (int x : graph.get(p.idx)) {
                    deq.add(new Path(x, p.value + 1));
                }
            }
        }
        System.out.println(IntStream.range(0, n).filter(i -> costs[0][i] < Integer.MAX_VALUE)
            .anyMatch(i -> IntStream.range(0, k)
                .allMatch(j -> costs[j][i] == costs[0][i]))
            ? "Yes" : "No");
    }
    
    static class Path {
        int idx;
        int value;
        
        public Path(int idx, int value) {
            this.idx = idx;
            this.value = value;
        }
    }
}

class Scanner {
    BufferedReader br;
    StringTokenizer st = new StringTokenizer("");

    public Scanner() {
        try {
            br = new BufferedReader(new InputStreamReader(System.in));
        } catch (Exception e) {
            
        }
    }
    
    public int nextInt() {
        return Integer.parseInt(next());
    }
    
    public long nextLong() {
        return Long.parseLong(next());
    }
    
    public double nextDouble() {
        return Double.parseDouble(next());
    }
    
    public String next() {
        try {
            while (!st.hasMoreTokens()) {
                st = new StringTokenizer(br.readLine());
            }
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            return st.nextToken();
        }
    }
    
}