M -> MpY
MpY -> Mpp
M -> MpT
MpT -> Mpp
Mpp -> MpT
MpT -> M
MpY -> M