Proper arg order to subs; and variable order gets flipped because this function does induction in the other direction now
Proper arg order to subs; and variable order gets flipped because this function does induction in the other direction now

zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru