Effective substitutions