Problem: After a revolution in Berland the new dictator faced an unexpected challenge: the country has to be somehow ruled. The dictator is a very efficient manager, yet he can't personally give orders to each and every citizen. That's why he decided to pick some set of leaders he would control. Those leaders will directly order the citizens. However, leadership efficiency turned out to vary from person to person (i.e. while person A makes an efficient leader, person B may not be that good at it). That's why the dictator asked world-famous berland scientists for help. The scientists suggested an innovatory technology — to make the leaders work in pairs.

A relationship graph is some undirected graph whose vertices correspond to people. A simple path is a path with no repeated vertices. Long and frighteningly expensive research showed that a pair of people has maximum leadership qualities if a graph of relationships has a simple path between them with an odd number of edges. The scientists decided to call such pairs of different people leader pairs. Secret services provided the scientists with the relationship graph so that the task is simple — we have to learn to tell the dictator whether the given pairs are leader pairs or not. Help the scientists cope with the task.

Input

The first line contains integers n and m (1 ≤ n ≤ 105, 0 ≤ m ≤ 105) — the number of vertices and edges in the relationship graph correspondingly. Next m lines contain pairs of integers a and b which mean that there is an edge between the a-th and the b-th vertices (the vertices are numbered starting from 1, 1 ≤ a, b ≤ n). It is guaranteed that the graph has no loops or multiple edges.

Next line contains number q (1 ≤ q ≤ 105) — the number of pairs the scientists are interested in. Next q lines contain these pairs (in the same format as the edges, the queries can be repeated, a query can contain a pair of the identical vertices).

Output

For each query print on a single line "Yes" if there's a simple odd path between the pair of people; otherwise, print "No".

Examples

Input

7 7
1 3
1 4
2 3
2 4
5 6
6 7
7 5
8
1 2
1 3
1 4
2 4
1 5
5 6
5 7
6 7


Output

No
Yes
Yes
Yes
No
Yes
Yes
Yes

Note

Notes to the samples:

1) Between vertices 1 and 2 there are 2 different simple paths in total: 1-3-2 and 1-4-2. Both of them consist of an even number of edges. 

2) Vertices 1 and 3 are connected by an edge, that's why a simple odd path for them is 1-3.

5) Vertices 1 and 5 are located in different connected components, there's no path between them.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int MXN = 100005;
const int LOG = 17;
struct DisjointSet {
  int fa[MXN];
  void init(int n) {
    for (int i = (0); i <= (n); i++) fa[i] = i;
  }
  int f(int x) { return x == fa[x] ? x : fa[x] = f(fa[x]); }
  void uni(int x, int y) { fa[f(y)] = f(x); }
} djs, con;
int N, M;
int fa[MXN], dep[MXN], inc[MXN], cnt[MXN], vst[MXN];
vector<int> E[MXN], child[MXN];
vector<pair<int, int> > backedge;
int up[LOG][MXN];
void DFS(int u, int f, int d) {
  vst[u] = 1;
  fa[u] = f;
  up[0][u] = f;
  dep[u] = d;
  for (auto v : E[u]) {
    if (vst[v]) {
      if (f != v) backedge.push_back({u, v});
      continue;
    }
    DFS(v, u, d + 1);
    child[u].push_back(v);
  }
}
void DFS2(int u) {
  vst[u] = 1;
  if (inc[djs.f(u)] and djs.f(u) != u) cnt[u]++;
  for (auto v : child[u]) {
    assert(!vst[v]);
    cnt[v] = cnt[u];
    DFS2(v);
  }
}
int lca(int u, int v) {
  if (dep[u] > dep[v]) swap(u, v);
  int k = dep[v] - dep[u];
  for (int i = 0; i < (LOG); i++)
    if (k & (1 << i)) {
      v = up[i][v];
    }
  if (u == v) return u;
  assert(dep[u] == dep[v]);
  for (int i = LOG - 1; i >= 0; i--) {
    if (up[i][u] != up[i][v]) {
      u = up[i][u];
      v = up[i][v];
    }
  }
  return fa[u];
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  ;
  cin >> N >> M;
  con.init(N);
  for (int i = 0; i < (M); i++) {
    int u, v;
    cin >> u >> v;
    E[u].push_back(v);
    E[v].push_back(u);
    con.uni(u, v);
  }
  for (int i = (1); i <= (N); i++)
    if (!vst[i]) {
      DFS(i, i, 0);
    }
  for (int i = (1); i <= (LOG - 1); i++)
    for (int j = (1); j <= (N); j++) {
      up[i][j] = up[i - 1][up[i - 1][j]];
    }
  djs.init(N);
  for (auto it : backedge) {
    int u = it.first, v = it.second;
    int l = lca(u, v);
    if ((dep[u] + dep[v]) % 2 == 0) inc[l] = 1;
    u = djs.f(u);
    v = djs.f(v);
    while (u != v) {
      if (dep[u] > dep[v]) swap(u, v);
      djs.uni(fa[v], v);
      v = djs.f(v);
    }
    assert(dep[djs.f(u)] <= dep[djs.f(l)]);
    assert(dep[djs.f(v)] <= dep[djs.f(l)]);
  }
  for (int i = (1); i <= (N); i++)
    if (inc[i] and djs.f(i) != i) {
      inc[djs.f(i)] = 1;
      inc[i] = 0;
    }
  for (int i = (1); i <= (N); i++) vst[i] = 0;
  for (int i = (1); i <= (N); i++)
    if (!vst[i]) {
      DFS2(i);
    }
  int Q;
  cin >> Q;
  for (int _ = 0; _ < (Q); _++) {
    int u, v;
    cin >> u >> v;
    int ans = 0;
    int f = lca(u, v);
    if (cnt[u] - cnt[f] or cnt[v] - cnt[f]) ans = 1;
    if ((dep[u] + dep[v]) % 2 == 1) ans = 1;
    if (con.f(u) != con.f(v)) ans = 0;
    if (u == v) ans = 0;
    if (ans)
      cout << "Yes\n";
    else
      cout << "No\n";
  }
  return 0;
}