This is a sub-component of mul08, q.v.
