Add some errors
Denial proof for nodata