new proof on the books