need both subst and substSym