SMA(P) to N(P)