Arbitrary substitutions