C->verificationC