pipeline algorithm ok, proof in progress, let's go for a merge