Arbitrary Substitutions.