#include<iostream>
#include<cstring>
#include<cstdio>
#include<stack>
using namespace std;
const int N=2e5+5;
int n,m,q;
struct node{
	int from,to,next;
}e[N<<1],e1[N<<1];
int link[N],tot=1;
void add(int x,int y){
	e[++tot].to=y;
	e[tot].next=link[x];
	link[x]=tot;
}
void add1(int x,int y){
	e1[++tot].to=y;
	e1[tot].from=x;
	e1[tot].next=link[x];
	link[x]=tot;
}
int dfn[N],low[N],cnt;
int scc[N],scc_cnt;
stack<int> s;
void tarjan(int u,int fa){
	dfn[u]=low[u]=++cnt;
	s.push(u);
	for(int i=link[u];i;i=e1[i].next){
		int v=e1[i].to;
		if(!dfn[v]){
			tarjan(v,i);
			low[u]=min(low[u],low[v]);
		}else if(i!=(fa^1)) low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u]){
		scc_cnt++;
		while(!s.empty()){
			int tmp=s.top();s.pop();
			scc[tmp]=scc_cnt;
			if(tmp==u) break;
		}
	}
}
int dep[N],fa[N][20];
int num1[N],num2[N];
void dfs(int u,int fath){
	fa[u][0]=fath;
	dep[u]=dep[fath]+1;
	for(int i=link[u];i;i=e[i].next){
		int v=e[i].to;
		if(v==fath) continue;
		dfs(v,u);
	}
}
void init(){
	for(int j=1;j<20;j++){
		for(int i=1;i<=scc_cnt;i++){
			fa[i][j]=fa[fa[i][j-1]][j-1];
		}
	}
}
int lca(int x,int y){
	if(dep[x]<dep[y]) swap(x,y);
	for(int i=19;i>=0;i--){
		if(dep[fa[x][i]]>=dep[y]) x=fa[x][i];
	}
	if(x==y) return x;
	for(int i=19;i>=0;i--){
		if(fa[x][i]!=fa[y][i]){
			x=fa[x][i];
			y=fa[y][i];
		}
	}
	return fa[x][0];
}
void dfs1(int u){
	for(int i=link[u];i;i=e[i].next){
		int v=e[i].to;
		if(v==fa[u][0]) continue;
		dfs1(v);
		num1[u]+=num1[v];
		num2[u]+=num2[v];
	}
}
int read(){
	int x=0;
	char c=getchar();
	while(c<'0'||c>'9') c=getchar();
	while(c>='0'&&c<='9'){
		x=x*10+c-48;
		c=getchar();
	}
	return x;
}
int main(){
	n=read();m=read();q=read();
	for(int i=1;i<=m;i++){
		int u=read(),v=read();
		add1(u,v);add1(v,u);
	}
	for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i,0);
	memset(link,0,sizeof(link));
	tot=0;
	for(int i=2;i<=m*2+1;i++){
		int x=scc[e1[i].from],y=scc[e1[i].to];
		if(x==y) continue;
		add(x,y);
	}
	dfs(1,0);
	init();
	for(int i=1;i<=q;i++){
		int x=read(),y=read();
		x=scc[x];y=scc[y];
		if(x==y) continue;
		int l=lca(x,y);
		num1[x]++;
		num2[y]++;
		num1[l]--;
		num2[l]--;
	}
	dfs1(1);
	for(int i=1;i<=scc_cnt;i++){
		if(num1[i]&&num2[i]){
			puts("No");
			return 0;
		}
	}
	puts("Yes");
	return 0;
}