Added a few lines regarding the substitution strategy.