rvm completion
rudimentary proof runner
failed proofs
show dmz