"and weak substitutions."