$p-WD_φ ≤fpt p-WSat(monotone CNF)$ for every $Π₂$-sentence φ = ∀ x̄ ∃ ȳ ψ (Flum–Grohe, Theorem 7.1(1) for $t = 2$, via Lemma 7.2 and the Propositional Normalization Lemma 7.5). The monotone formula has a variable for every block of $D$ slots with values ($D$ fixed by $ψ$), forces one value per block by exact weight $W = (k+1)^D$, excludes conflicting pairs of block values by monotone clauses, and has, per assignment of the universal variables, the clause of the blocks with values that decide the $X$-atoms of $ψ$ in a way making $ψ$ true for some assignment of the existential variables. It is computed in fixed-parameter time by an IMP+ program.