removing proofdriven