tweak
write the algebraic properties paragraph in the conclusion