Sub-goals

filling in the subgoals