module primitives_for_goal