Progress on multiplier.v