import sys


class UnionFind(object):
    def __init__(self, n=1):
        self.par = [i for i in range(n)]
        self.rank = [0 for _ in range(n)]
        self.size = [1 for _ in range(n)]

    def find(self, x):
        if self.par[x] == x:
            return x
        else:
            self.par[x] = self.find(self.par[x])
            return self.par[x]

    def union(self, x, y):
        x = self.find(x)
        y = self.find(y)
        if x != y:
            if self.rank[x] < self.rank[y]:
                x, y = y, x
            if self.rank[x] == self.rank[y]:
                self.rank[x] += 1
            self.par[y] = x
            self.size[x] += self.size[y]

    def is_same(self, x, y):
        return self.find(x) == self.find(y)

    def get_size(self, x):
        x = self.find(x)
        return self.size[x]

N, M = map(int, input().split())
s, g = map(int, input().split())
s, g = s - 1, g - 1
F, T = [None]*M, [None]*M
for i in range(M):
    F[i], T[i] = map(int, input().split())
    F[i] -= 1
    T[i] -= 1
    
U = int(input())
I = set(map(int, input().split()))
UT = UnionFind(N)
for i in range(M):
    if F[i] + 1 in I or T[i] + 1 in I:
        continue
    UT.union(F[i], T[i])
    
print("Yes") if UT.is_same(s, g) else print("No")