~P(m)
[
w
]