5.01. Revising multiplication