Notes from the Prov IG Meeting on 25th/26th