substitutions, impl