x~P(m)

[w]