crev proofs ===========