let
ptrue = [], empty_goals