SF-SUBST implemented, should be correct