draft of the proof which will replace the last admit