proof_datamerger wip