del first proof