compile new proof stuff