A good chunk of the proof for pull.