Some more substitutions