subgoal ops now separated