First complete version of NDProofs