combine atomic and prover together for pp