Transformations
Transformations and argument simplifications
Argument involving basic arithmetic operations