Priority proof, two-pass merge