go on to simplify SubstV and LtdSubstV.
go on to simplify SubstV and LtdSubstV.
Chapter 9