add new section on substitution
tweak latex for the substitution machine