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