use new goal-pl package