Convergence of CFOP and Petrus