const fs = require('fs');
const input = fs.readFileSync('/dev/stdin').toString().trim().split('\n');

const [N, M] = input[0].split(' ').map(Number);

// 그래프와 역 그래프 초기화
const graph = Array.from({ length: N + 1 }, () => []);
const reverseGraph = Array.from({ length: N + 1 }, () => []);

for (let i = 1; i <= M; i++) {
    const [u, v] = input[i].split(' ').map(Number);
    graph[u].push(v);
    reverseGraph[v].push(u);
}

// 팬클럽이 있는 정점들
const fanClubNodes = input[M + 2].split(' ').map(Number);

// DFS로 도달 가능한 모든 정점을 찾는 함수
function findReachableNodes(graph, startNodes) {
    const visited = Array(N + 1).fill(false);
    const reachable = Array(N + 1).fill(false);

    function dfs(node) {
        visited[node] = true;
        reachable[node] = true;
        for (const neighbor of graph[node]) {
            if (!visited[neighbor]) {
                dfs(neighbor);
            }
        }
    }

    for (const node of startNodes) {
        if (!visited[node]) {
            dfs(node);
        }
    }
    return reachable;
}

// 팬클럽 정점에서 도달 가능한 모든 정점 찾기 (역방향 그래프 사용)
const reachableFromFanClub = findReachableNodes(reverseGraph, fanClubNodes);

// 출발 정점에서 도달 가능한 모든 정점 찾기
const reachableFromStart = findReachableNodes(graph, [1]);

// 결과 판단
const result = reachableFromStart.some((reachable, node) => reachable && !reachableFromFanClub[node]) ? "yes" : "Yes";
console.log(result);