let ptrue = [], empty_goals