P

P

:-p

[]p;

M

m

M-A

,p,p

M