Algebraic property wording tweaks

Auditors: eater