stuff from prover-project that was missed on first commit