This feature combines all parts needed by the prover system.