del second proof