expose HasSubst