modify
* structural form ⇒
Models of Multiplication