#include<bits/stdc++.h>
using namespace std ;

typedef long long LL ;
const int N = 5e5+10 , mod = 998244353 ;
// 又一道逆天题
// 能学到的只能说是求抽象式子时先考虑找意义 
// 然后行列式的 -1 系数可以考虑交换其中两个的匹配方案，使之抵消
// (求行列式的过程可以看作两个排列进行两两匹配)
// 发现匹配竟然是唯一的，接下来dp就很简单了

int n , K , v[N] , a[N] ;
bool bt[N] ;
vector<int> E[N] ;
int tmp[N] , len ;
LL f[N][2] , g[N][3] ;//处理完子树内其他匹配方案，当前不剩/剩一个的方案 
void dfs( int x , int fa )
{
	for(int t : E[x] ) {
		if( t == fa ) continue ;
		dfs( t , x ) ;
	}
	if( bt[x] ) f[x][1] = 1 ;
	else f[x][0] = 1 ;
	len = 0 ;
	tmp[++len] = x ;
	for(int t : E[x] ) {
		if( t == fa ) continue ;
		tmp[++len] = t ;
	}
	// 合并 
	g[0][0] = 1 ;
	for(int i = 1 ; i <= len ; i ++ ) {
		g[i][0] = g[i-1][0] * f[tmp[i]][0] % mod ;
		g[i][1] = ( g[i-1][1]*f[tmp[i]][0] + g[i-1][0]*f[tmp[i]][1] ) % mod ;
		g[i][2] = ( g[i-1][2]*f[tmp[i]][0] + g[i-1][1]*f[tmp[i]][1] ) % mod ;
	}
	f[x][0] = ( g[len][0] + g[len][1]*(v[x]-v[fa]) ) % mod ;
	f[x][1] = ( g[len][2]*(v[x]-v[fa])*2LL + g[len][1] ) % mod ;
}

int main()
{
	scanf("%d%d" , &n , &K ) ;
	for(int i = 1 ; i <= n ; i ++ ) scanf("%d" , &v[i] ) ;
	for(int i = 1 ; i <= K ; i ++ ) {
		scanf("%d" , &a[i] ) ;
		if( bt[a[i]] ) { // 有重复元素，det=0 
			printf("0\n") ;
			return 0 ;
		}
		bt[a[i]] = 1 ;
	}
	int x , y ;
	for(int i = 1 ; i < n ; i ++ ) {
		scanf("%d%d" , &x , &y ) ;
		E[x].push_back(y) ;
		E[y].push_back(x) ;
	}
	dfs(1,0) ;
	printf("%lld" , (f[1][0]+mod)%mod ) ;
	return 0 ;
}