v,e = map(int, input().split())
s,g = map(int,input().split())
# adj[s]: ノード s に隣接する(ノード, 重み)をリストで持つ
adj = [[] for _ in range(v)]
for i in range(e):
    s, t= map(int, input().split())
    s -= 1
    t -= 1
    adj[s].append((t, 1))
    adj[t].append((s, 1))
    #双方向でないときは下消す
u = int(input())
pp = list(map(int,input().split()))
from heapq import heappush, heappop
INF = 10 ** 9
def dijkstra(s, n): # (始点, ノード数)
    global pp
    before = [-1]*n
    dist = [INF] * n
    hq = [(0, s)] # (distance, node)
    dist[s] = 0
    seen = [False] * n # ノードが確定済みかどうか
    for i in range(len(pp)):
        seen[pp[i] - 1] = True
    while hq:
        v = heappop(hq)[1] # ノードを pop する
        seen[v] = True
        for to, cost in adj[v]: # ノード v に隣接しているノードに対して
            if seen[to] == False and dist[v] + cost < dist[to]:
                before[to] = v
                dist[to] = dist[v] + cost
                heappush(hq, (dist[to], to))
    return dist
QQ = dijkstra(s-2, v)
#print(QQ)
if QQ[g - 1] == INF:
    print("No")
else:
    print("Yes")