(21 Apr 21) Algebraic substitution