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