Maybe add a small docstring? (This is "unevaluated mul", right?)