adds part of the proof