#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

class union_find {
  public:
    union_find(int n) : data(n, -1) {}
    int unite(int x, int y) {
        x = root(x), y = root(y);
        if(x != y) {
            if(size(x) < size(y)) swap(x, y);
            data[x] += data[y];
            return data[y] = x;
        }
        return -1;
    }
    int root(int x) { return data[x] < 0 ? x : data[x] = root(data[x]); }
    int size(int x) { return -data[root(x)]; }
    bool same(int x, int y) { return root(x) == root(y); }

  private:
    vector<int> data;
};

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int N,M,S,G; cin >> N >> M >> S >> G; S--, G--;
    vector<pair<int,int>> E(M);
    for(auto &[f, t] : E) cin >> f >> t, f--, t--;
    int U; cin >> U;
    vector<int> I(U);
    rep(i,U) cin >> I[i];

    union_find uf(N);
    for(auto &[f, t] : E) {
        if(!binary_search(I.begin(), I.end(), f)
        && !binary_search(I.begin(), I.end(), t)) {
            uf.unite(f, t);
        }
    }

    cout << (uf.same(S, G) ? "Yes" : "No") << endl;
}