Reduced expression to single subgoal