Adds save xml proof