page 389, in Designing with Refinements, third paragraph, last line : twice to
yourself into just those source files that uses them. They might tell you to to write
-----> ^^^^^
Got it, thanks!