Subst.lhs 30 KB