use TagOf#subst1