Clarify the goal of Prelude.Prime