"s ⇌ dum / X+[-cons]_" . . . "s ⇌ dum / X+[-cons]_" . .