removed compelling_proof module