Y3 prover