When determining if two expressions are equivalent, which properties of operations might be useful? Why?