subst_reducibility