25-09-03 to Substitution bounds.pdf