(28 Apr 21) Algebraic substitution