make last commit build

might have messed up the subgoal structure - will fix later