Added more in the proof methodology