add multiplication to Simple and simplify substitution for paper