#include using namespace std; #define fi first #define se second #define pb push_back using vi = vector ; using ll = long long; using vl = vector ; using pii = pair ; const ll mod = 998244353; //~ const ll mod = 1e9 + 7; ll qpow(ll a, ll b, ll m = mod) { ll r = 1, t = a; for(; b; b /= 2) { if(b & 1) r = r * t % m; t = t * t % m; } return r; } const int N = 2e5 + 11; int b[N]; void update(int p, int v) { for(int i = p; i < N; i += i & (-i)) b[i] = max(b[i], v); } int query(int p) { int r = 0; for(int i = p; i; i -= i & (-i)) r = max(r, b[i]); return r; } int main() { ios::sync_with_stdio(0); int n, m, k, p; cin >> n >> m >> k >> p; vector v; for(int i = 0; i < k; i ++) { int x, y; cin >> x >> y; v.pb({x, y}); } sort(v.begin(), v.end()); int ma = 0; for(auto [x, y] : v) { int t = query(y); ma = max(ma, t + 1); update(y, t + 1); } ll x = 1; //~ cout << ma << '\n'; for(int i = 0; i < ma; i ++) { x = x * (p - 2) % mod * qpow(p, mod - 2); x %= mod; } for(int i = 0; i < n + m - 3 - ma; i ++) { x = x * (p - 1) % mod * qpow(p, mod - 2); x %= mod; } ll ans = (1 - x) % mod; if(ans < 0) ans += mod; cout << ans << '\n'; }