Mention the whole modules thing in the introduction