Bringing up a disagreement steps 1-7