Add assoc
def of mult
Mult comm