completed closed_substitution.