msum -> leftl1 mplus