Adds description for assoc law for mult
adds simple intro to limits