Change mwiv definition a bit to ease distributivity proof.