a little cleanup

(learning prover code)