The Complicated Algebra of Negative Substitution