Good prover output finally working.