Lifted prover from main so you don't need to parse.