Added a section on elements of a complete proof. Not done yet