Multiplication (and addition)

Add multiplication by first adding addition. Multiplication builds
further on that. Peano numbers and all that.