leave Mul as Mul after subs, if possible