reduced subgoal 1 to a manageable form