infinite substitution