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