moved alpha boosting to prover