Proof through the night

altered the text july 10