for Al being QC-alphabet
for S being Element of CQC-Sub-WFF Al st S is Al -Sub_VERUM holds
CQC_Sub S = VERUM Al