Edited NDproofs. Next is to add the steps.