#include<bits/stdc++.h>

using namespace std;

int n,m,q,bl[],s[],t[],dfn[],low[],is[];

int cnt,tot,sum,head[],nxt[],to[],ano[];

int d1[],d2[],dep[],pr[][];

int f[],vis[],vis2[];

vector<int>v[];

stack<int>a;

inline int sf(int x){return f[x]==x?x:f[x]=sf(f[x]);}

inline void add(int x,int y){

    nxt[++tot]=head[x],head[x]=tot,to[tot]=y,ano[tot]=tot+;

    nxt[++tot]=head[y],head[y]=tot,to[tot]=x,ano[tot]=tot-;

}

inline void tarjan(int x,int id){

    dfn[x]=low[x]=++cnt;

    a.push(x),is[x]=;

    for(int i=head[x];i;i=nxt[i])

      if(i!=ano[id]){

        if(!dfn[to[i]]){

            tarjan(to[i],i);

            low[x]=min(low[x],low[to[i]]);

        }else if(is[to[i]]){

            low[x]=min(low[x],dfn[to[i]]);

        }

      }

    if(low[x]==dfn[x]){

      sum++;

      while(){

          int u=a.top();

          a.pop(),is[u]=;

          bl[u]=sum;

          if(u==x)break;

      }

    }

}

inline void dfs(int x,int fa){

    vis2[x]=;

    pr[x][]=fa;

    dep[x]=dep[fa]+;

    for(int i=;i<v[x].size();i++)

      if(v[x][i]!=fa)dfs(v[x][i],x);

}

inline int lca(int x,int y){

    if(dep[x]<dep[y])swap(x,y);

    int i,j,k,len=dep[x]-dep[y];

    for(i=;i<=;i++)

      if((<<i)&len)x=pr[x][i];

    if(x==y)return x;

    for(i=;i>=;i--)

      if(pr[x][i]!=pr[y][i])

        x=pr[x][i],y=pr[y][i];

    return pr[x][];

}

inline void dfs2(int x,int fa){

    vis[x]=;

    for(int i=;i<v[x].size();i++)

      if(v[x][i]!=fa)dfs2(v[x][i],x),d1[x]+=d1[v[x][i]],d2[x]+=d2[v[x][i]];

    if(d1[x]>&&d2[x]>){

      puts("No");

      exit();

    }

}

int main(){

    int i,j,k;

    scanf("%d%d%d",&n,&m,&q);

    for(i=;i<=m;i++){

      int x,y;

      scanf("%d%d",&x,&y);

      add(x,y);

      if(sf(x)!=sf(y))f[sf(x)]=sf(y);

    }

    for(i=;i<=q;i++)scanf("%d%d",&s[i],&t[i]);

    for(i=;i<=q;i++)if(sf(s[i])!=sf(t[i])){puts("No");return ;}

    for(i=;i<=n;i++)if(!dfn[i])tarjan(i,);

    for(i=;i<=n;i++)

      for(j=head[i];j;j=nxt[j])

        if(bl[i]!=bl[to[j]])v[bl[i]].push_back(bl[to[j]]);

    for(i=;i<=sum;i++)if(!vis2[i])dfs(i,);

    for(i=;i<=;i++)

      for(j=;j<=sum;j++)

        pr[j][i]=pr[pr[j][i-]][i-];

    for(i=;i<=q;i++){

      if(bl[s[i]]==bl[t[i]])continue;

      int x=bl[s[i]],y=bl[t[i]],z=lca(x,y);

      d1[x]++,d1[z]--;

      d2[y]++,d2[z]--;

    }

    for(i=;i<=sum;i++)if(!vis[i])dfs2(i,);

    puts("Yes");

    return ;

}