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