Adding comments to make the substitution clearer