Steps in the proof