implemented cbc disprover