M7<-Q = P
M28<-M6<-Q = Pl.E
M6<-Q = Pl