L(M)
PR
-a
c`
`Vc
PR
-b
cw`
`Vcw
WP
-a
Vc`
_R
`z
WR
-a
Vc`
`z