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