SS[1] := [
w*y+x*y+z,
Dx
]: