More edits to ndproofs