Ring prover continued. Problem with totality of the dev function