Part 1 of Mutable Algos in Immutable Langs