Explicit inherited premises

The sign ledger is unchanged: each first-stage partial has factor $-2$; the complete word has two sharp insertion signs, whose product is $+1$; the middle-slot assignment factor is $2$, not $4$.