Changes to Theory/Fusion/LawsonCrit/BasicDerivation/latexsrc